avigad / lamrLinks

Logic and Mechanized Reasoning
105Updated last month

Alternatives and similar repositories for lamr

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

Sorting: