This is an early prototype of a web app for developing Ghilbert proofs.
See above link for basic documentation. Source code for this site is hosted at Google Code.
Recent saves
List of all theorems
login