OpenLogicProject / fitch-checkerLinks
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
☆55Updated 10 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☆39Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Kan: A browser extension for reading nLab☆27Updated 6 years ago
- A program for making zooming slides in figma.☆38Updated last month
- Open textbook on modal logic☆23Updated last month
- Textbook on metalogic based on the Open Logic Project☆43Updated last month
- Metamath program - source code for the Metamath executable☆82Updated last week
- UCalgary version of forallx, an introduction to formal logic☆108Updated last month
- metamath proof enumerators and other things☆94Updated last year
- 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]☆60Updated last month
- ☆148Updated this week
- Lean for the Curious Mathematician 2020☆67Updated last year
- Source of metamath book☆49Updated last year
- Pedagogical first-order prover in Python☆76Updated last month
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- Multi platform setup for Coq, Coq libraries and tools☆205Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- An encyclopedia of proofs☆62Updated 8 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- Mathematical proofs of the bbchallenge project.☆25Updated 3 months ago
- Tree Proof Generator☆169Updated 5 months ago
- A semantic Extension of TeX/LaTeX☆53Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆79Updated 6 months ago