Automated Theorem Prover (LINUX) written in JavaScript, CSS3 & HTML5
Euclid is separated into two (2) tools :
( 1 ) An ESL Natural Language Processor, Formal Logic & Reasoning Engine
( 2 ) A Symbol editor and axiom-supported prover ( extensible )
..these two (2) tools are the minimum requirements for documenting a state-of-the-art proof.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
