Go here instead: http://ghestalt.ghilbert.org/
This is the home page of the Barghest test sandbox. Ultimately, this will become the hosting site for Ghilbert. There is considerable discussion on the AsteroidMeta page.
The darcs repository for the barghest code is located at:
http://raph.levien.com/garden/barghest/
The syntax is essentially a WikiCreole, but with some modifications. All wiki links are enclosed in [square brackets], as are plain URL's. Italic is //double slashes//, and bold is ** double asterisks**. Obviously, this will be expanded over time, but for now I'm trying to KISS. A more detailed page explaining the wiki markup is at WikiMarkup.
Eventually, Ghilbert statement names and terms will be enclosed in #hash marks#, but as a placeholder I'm just pointing to Metamath pages like aleph0.
If you want to edit, go to http://barghest.ghilbert.org/ and create an account. Enjoy!
Last edited 2007-01-06 16:56:47 by Raph Levien