meta-logic / sequoia-v0Links

Design, play with, and analyze sequent calculus proof systems.
13Updated last year

Alternatives and similar repositories for sequoia-v0

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

Sorting: