/sequoia

classical sequent calculus, embedded in Haskell

Primary LanguageHaskell

Stargazers