ayberkt / sequentsLinks

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
26Updated last year

Alternatives and similar repositories for sequents

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

Sorting: