benjaminselfridge / logix
Logic Explorer - customizable proof construction tool for sequent calculi
☆20Updated 2 years ago
Alternatives and similar repositories for logix:
Users that are interested in logix are comparing it to the libraries listed below
- Dependently typed elimination functions using singletons