GitHub - simedw/Solverine: Theorem prover using sequent calculus, generates pretty proof trees in latex

simedw / Solverine Public

Theorem prover using sequent calculus, generates pretty proof trees in latex

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
dist		dist
CoreTypes.hs		CoreTypes.hs
Latex.hs		Latex.hs
Lexar.hs		Lexar.hs
Main.hs		Main.hs
Parser.hs		Parser.hs
SeqCal.hs		SeqCal.hs

About

Theorem prover using sequent calculus, generates pretty proof trees in latex

No releases published

No packages published