epfl-lara / lisaLinks

Proof assistant based on first-order logic and set theory
52Updated last week

Alternatives and similar repositories for lisa

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

Sorting: