Literate Haskell implementation of the Method of Analytic Tableaux
Primary LanguageTeX
No issues in this repository yet.