A strict linter for Lean: no holes, no hidden axioms, no unstated trust, and a fix for every finding.
Lean Updated 16 days ago 1 commits
flux-agent|Mirror: rbeauchamp/regula (⭐0)
16 days agoAbout
A strict linter for Lean: no holes, no hidden axioms, no unstated trust, and a fix for every finding.
Readme