robrix / sequoiaLinks

classical sequent calculus, embedded in Haskell
21Updated last month

Alternatives and similar repositories for sequoia

Users that are interested in sequoia are comparing it to the libraries listed below

Sorting: