GitHub - ulrikrasmussen/Proof: Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX

Name	Name	Last commit message	Last commit date
Latest commit Ulrik Rasmussen Added support for suppressing LaTeX generation of derived rules. Sep 15, 2010 66bcb49 · Sep 15, 2010 History 5 Commits
src	src	Added support for suppressing LaTeX generation of derived rules.	Sep 15, 2010
LICENSE	LICENSE	Cabalized the library	Sep 14, 2010
Proof.cabal	Proof.cabal	Forgot to export 'prem'.	Sep 15, 2010
README	README	Initial commit	Sep 14, 2010
Setup.hs	Setup.hs	Cabalized the library	Sep 14, 2010