Tiny Lean library to check existence of declarations
Primary LanguageLean
No issues in this repository yet.