avigad / lamrLinks

Logic and Mechanized Reasoning
105Updated 2 weeks ago

Alternatives and similar repositories for lamr

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

Sorting: