Projects in Awesome Lists tagged with fitch-proofs
A curated list of projects in awesome lists tagged with fitch-proofs .
https://github.com/palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
cakeml coq fitch-proofs hol4 ocaml ott propositional-logic
Last synced: 25 Oct 2025
https://github.com/carstenkoenig/purescript-fitch-prover
fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera
fitch-proofs halogen purescript
Last synced: 22 Feb 2026
https://github.com/daniyal1249/nd-prover
Natural deduction proof generator & checker
fitch fitch-proofs logic math modal-logic natural-deduction proof-checker prover python theorem-prover theorem-proving
Last synced: 01 Apr 2026
https://github.com/emikodes-unimi/esercizi-logica-matematica
🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI
boole fitch fitch-algorithm fitch-proofs induction logic-programming logica logical-programming math milan milano of proof tarski tarski-axiom tarski-s-world unimi university
Last synced: 01 Mar 2026
