Literate Haskell implementation of the Method of Analytic Tableaux
Primary LanguageTeX
No one’s star this repository yet.