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

See: http://www.risc.uni-linz.ac.at/research/theorema

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

Copyright © 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

Ideas, requests, problems regarding TWiki? Send feedback

This Wiki uses Cookies