/lean-lamr

Logic and Mechanized Reasoning

Primary LanguageLean

Stargazers

No one’s star this repository yet.