OpenLogicProject / fitch-checker
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☆34Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated last month
- Logic and Mechanized Reasoning☆101Updated 3 months ago
- An encyclopedia of proofs☆60Updated 6 months ago
- ☆31Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Open textbook on modal logic☆22Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- Source of metamath book☆48Updated last year
- git mirror of the Munich isabelle hg repository☆123Updated last week
- Textbook on metalogic based on the Open Logic Project☆41Updated last year
- Pedagogical first-order prover in Python☆75Updated this week
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years 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
- A semantic Extension of TeX/LaTeX☆52Updated this week
- Lean documentation authoring tool☆160Updated this week
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆16Updated last month
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated 3 weeks ago
- Textbook on Gödel's incompleteness theorems and computability theory☆19Updated 3 years ago
- An HTML documentation generator for Coq source files☆30Updated 8 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- Lean 4 tutorial files☆35Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated this week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Metamath verifier in Python☆38Updated last year