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: 8 months 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 (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2020-04-28T01:19:33.000Z (about 6 years ago)
• Last Synced: 2025-03-26T21:15:07.676Z (about 1 year 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)