GitHub - GorrieXIV/MoAT: Literate Haskell implementation of the Method of Analytic Tableaux · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Expr.lhs		Expr.lhs
Form.lhs		Form.lhs
MoAT.lhs		MoAT.lhs
MoAT.pdf		MoAT.pdf
MoAT.tex		MoAT.tex
Tableaux.lhs		Tableaux.lhs
stalmarckmethod.pdf		stalmarckmethod.pdf

About

Literate Haskell implementation of the Method of Analytic Tableaux

Report repository

Releases

No releases published

Packages

Contributors

Languages