OpenLogicProject / fitch-checkerLinks
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
☆55Updated this week
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 2 months ago
- Tree Proof Generator☆169Updated 6 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Metamath source file for logic and set theory☆290Updated this week
- Metamath program - source code for the Metamath executable☆84Updated last month
- UCalgary version of forallx, an introduction to formal logic☆111Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated 2 months ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- ☆151Updated 2 weeks ago
- Textbook on metalogic based on the Open Logic Project☆44Updated last month
- Kan: A browser extension for reading nLab☆29Updated 6 years ago
- metamath proof enumerators and other things☆94Updated last year
- Multi platform setup for Coq, Coq libraries and tools☆208Updated last month
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆53Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated this week
- git mirror of the Munich isabelle hg repository☆125Updated this week
- Lean for the Curious Mathematician 2020☆67Updated last year
- Theorem proving in Lean☆49Updated 10 months ago
- Logic and Mechanized Reasoning☆105Updated last month
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 7 months ago
- Source of metamath book☆49Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Open textbook on modal logic☆23Updated last month
- Language based on Rewriting Logic☆131Updated 3 weeks ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year
- A program for making zooming slides in figma.☆38Updated last month