================= Ghestalt - README ================= Read documentation in /docs/ghestalt-doc.txt for more information. Ghestalt is a web-based interface to formalized mathematics knowledge based on the Metamath family of systems (including GHilbert). Thanks