OpenLogicProject / fitch-checkerLinks
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
☆55Updated 8 months ago
Alternatives and similar repositories for fitch-checker
Users that are interested in fitch-checker are comparing it to the libraries listed below
Sorting:
- Tim Button's open textbook on set theory☆37Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]