Hilbert-Style Proof Builder

Help with applet - Help with rules - Help with language - Other programs - Feedback

Your browser does not support Java.
Therefore, you can only access Server Side Processing and the Proof Checker.

Please note that, sadly, most browsers ended Java applet support, and that even Java itself considers applets as deprecated. Time permitting, I might provide a new HTML5 implementation of this software in the distant future.


© Christian Gottschall / christian.gottschall@univie.ac.at / 2012-03-31 01:19:53