Under Construction
This webpage is under construction (and might be so for a long time). If you are looking for the proof database containing input and output files of proof experiments with please click here.
Feedback will be appreciated. Please send any kind of comments to Peter Höfner.
©2007—2013. Peter Höfner
last update: April, 4