avigad / lamrLinks

Logic and Mechanized Reasoning
104Updated 4 months ago

Alternatives and similar repositories for lamr

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

Sorting: