clayrat / sequent-calc-talk

Code for the "Logic, machines and sequent calculus" talk
31Updated 2 years ago

Alternatives and similar repositories for sequent-calc-talk:

Users that are interested in sequent-calc-talk are comparing it to the libraries listed below