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 History 5 Commits
src		src
LICENSE		LICENSE
Proof.cabal		Proof.cabal
README		README
Setup.hs		Setup.hs

Repository files navigation

Someone should write a readme...

Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX

No releases published