Projects related to Proof General

Competition is healthy! Please add sections, notes and links below to describe related systems of interest for Proof General.




A teaching environment for web-based learning of mathematics.


Visual document-based editor interface to computer algebra systems, using TeX fonts.

Has Coq interface tmCoq and Omega interface via the PLATO system



Theorema is a prover built on top of the Mathematica system. It therefore has a nice interface, but is ''not'' freely available.

This topic: PG > WebHome > RelatedProjects
Topic revision: r1 - 21 Aug 2006 - 14:40:44 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies