Versions🔗

Regula

0.2.0

Commit

a28b34072f20ca8dce0b0279dde0cf36536ef545

Lean toolchain (linter and examples)

4.34.0

Verso revision

cad4b633e75ea769b851f12f9ca3b4f0dfcc625f

Releases

0.2.0 for Lean 4.34.0, 4.34.0 for Lean 4.34.0

• https://rbeauchamp.github.io/regula/ opens the latest release's copy, or the development version while no release exists: the stable address to share.

• https://rbeauchamp.github.io/regula/dev/ is the development version, rebuilt from main by every deployment. An unreleased Regula build's findings link here.

• https://rbeauchamp.github.io/regula/v/<version>/ is the permanent copy of a release, made when it is released. A released Regula build's findings link to its own release's copy. Once a later release exists, every page of an earlier copy names the latest release and links the same page there.

A route that is not published shows the site's not-available page. It never redirects to other rules: an old link cannot silently acquire changed semantics. Rule IDs are never reused for a changed rule; a retired rule keeps a page that says so.