classical sequent calculus, embedded in Haskell - View it on GitHub
Star
20
Rank
1005338