avigad / lamrLinks

Logic and Mechanized Reasoning
104Updated 3 months ago

Alternatives and similar repositories for lamr

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

Sorting: