RelatedProjects < PG

PG Web>RelatedProjects (21 Aug 2006, DavidAspinall) (raw view)EditAttach

---+!! Projects related to Proof General
 


%TOC%

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

<!-- NB: please keep alphabetical order! -->

---++ Matita

---++ Omega

---++ LeActiveMath

A teaching environment for web-based learning of mathematics.

---++ TeXmacs 

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

Has Coq interface tmCoq and Omega interface via the PLATO system


---++ Theorema

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.

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