The lean project repo used in analogyTP for demo/development
Primary LanguageLean
No issues in this repository yet.