benjaminselfridge / logixLinks

Logic Explorer - customizable proof construction tool for sequent calculi
20Updated 3 years ago

Alternatives and similar repositories for logix

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

Sorting: