https://github.com/seagat2011/euclid-automated-theorem-prover-javascript-plugin-linux-

Automated Theorem Prover written in JavaScript, CSS3 & HTML5
https://github.com/seagat2011/euclid-automated-theorem-prover-javascript-plugin-linux-

automated editor euclid interactive itp math theorem-prover theorem-proving

Last synced: about 1 month ago
JSON representation

Automated Theorem Prover written in JavaScript, CSS3 & HTML5

• Host: GitHub
• URL: https://github.com/seagat2011/euclid-automated-theorem-prover-javascript-plugin-linux-
• Owner: Seagat2011
• Created: 2015-08-22T19:02:41.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2020-04-28T01:19:33.000Z (over 4 years ago)
• Last Synced: 2023-03-03T19:07:50.662Z (almost 2 years ago)
• Topics: automated, editor, euclid, interactive, itp, math, theorem-prover, theorem-proving
• Language: JavaScript
• Size: 44.5 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Euclid-Automated-Theorem-Prover-JavaScript-Plugin-Linux

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.

  

  

 Click to view screenshot images  

  

## Screenshot 1  

![screenshot](SYMBOLIC%20PROVER/IMG/Screenshot_2018-06-03_12-17-39.png)  

  

## Screenshot 2  

![screenshot](SYMBOLIC%20PROVER/IMG/sample_screenshot.png)  

  

## Screenshot 3  

![screenshot](SYMBOLIC%20PROVER/IMG/sample_screenshot_3.png)

  

## Screenshot 4  

![screenshot](SYMBOLIC%20PROVER/IMG/sample_screenshot_5.png)