Tiny Lean library to check existence of declarations
Primary LanguageLean
This repository is not active