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 9 days ago 1 commits
quark-coder|Mirror: keithadler/lean-linter (⭐0)
9 days 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