There are 0 repository under fitch-calculus topic.
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.