Find what Lean's type checker cannot: lemmas whose names say the opposite of their statements, wrong docstrings, dead references, deprecation chains, duplicates and dead code.
Lean Updated about 1 month ago 1 commits
quark-coder|Mirror: keithadler/lean-linter (⭐0)
about 1 month agoAbout
Find what Lean's type checker cannot: lemmas whose names say the opposite of their statements, wrong docstrings, dead references, deprecation chains, duplicates and dead code.
Readme