There are 0 repository under fitch topic.
Solutions for the book "Language Proof and Logic".
đź“šSolutions to Language, Proof and Logic (2nd Edition)
A Fitch's style natural deduction proof editor
Esercizi del laboratorio di Logica Dati @ Unimi informatica
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.