JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
☆58Aug 26, 2025Updated 6 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:
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆69Mar 30, 2025Updated 11 months ago
- Tim Button's Cambridge version of forallx☆15Sep 26, 2018Updated 7 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Tim Button's open textbook on set theory☆41Jun 25, 2025Updated 8 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 6 months ago
- The extremely portable, extremely extensible line editor☆13Apr 4, 2022Updated 3 years ago
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Program Specification in Lean 4☆22Jan 15, 2024Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- A formal logic framework that runs in the browser☆325Dec 15, 2024Updated last year
- Power up your text processing via macros☆15Jul 31, 2022Updated 3 years ago
- A template for single-source academic publishing with Pandoc and Make.☆20Jul 21, 2022Updated 3 years ago
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 8 months ago
- gema - general purpose macro processor☆18Mar 26, 2014Updated 11 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Oct 23, 2025Updated 4 months ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- Source for the d∃∀duction project.☆22Feb 12, 2026Updated 2 weeks ago
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 7 months ago
- Tests with PlusCal / TLA+☆25Jan 12, 2017Updated 9 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 8 months ago
- A simple concurrent programming language.☆22Nov 3, 2020Updated 5 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆52Nov 23, 2023Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Dec 11, 2024Updated last year
- A proof editor for first order logic☆25Apr 27, 2021Updated 4 years ago
- UCalgary version of forallx, an introduction to formal logic☆117Dec 18, 2025Updated 2 months ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Building group theory from scratch in Lean☆62Jan 24, 2021Updated 5 years ago
- A formalization of the textbook Elements of Set Theory☆61Sep 30, 2021Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago