palmskog / fitch

Certified proof checker for Fitch-style propositional logic proofs

Geek Repo

Github PK Tool