Certified proof checker for Fitch-style propositional logic proofs
-
Updated
Nov 21, 2023 - Standard ML
Certified proof checker for Fitch-style propositional logic proofs
Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.
An educational tool for analyzing the correctness of Fitch Proofs.
Solutions for the book "Language Proof and Logic".
Fitch proof constructor (using rules from my version of the forall x textbook)
Fitch style proof constructor
Esercizi del laboratorio di Logica Dati @ Unimi informatica
fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
📚Solutions to Language, Proof and Logic (2nd Edition)
Web-based natural deduction proof assistant
Propositional logic and FOL proofs (froward style)
Add a description, image, and links to the fitch-proofs topic page so that developers can more easily learn about it.
To associate your repository with the fitch-proofs topic, visit your repo's landing page and select "manage topics."