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