lean-fmt4.34.0-rc1
Code formatter and linter for Lean 4, with editor and CI integration.
1-20 of 24 versions of lean-fmt
Sort by
Date
- 4.x
4.34.0-rc1v4.34.0-rc184.7 MB - 4.x
4.34.0-rc1v4.34.0-rc1v4.34.0-rc1 - 0.7
0.7.1v0.7.1v4.34.0-rc1 - 0.7
0.7.0v0.7.0v4.34.0-rc1 - 0.6
0.6.0v0.6.0v4.34.0-rc1 - 0.5
0.5.0v0.5.0v4.33.0 - 0.4
0.4.1v0.4.1v4.33.0-rc2 - 0.4
0.4.0v0.4.0v4.33.0-rc2 - 0.3
0.3.1v0.3.1v4.33.0-rc2 - 0.3
0.3.0v0.3.0v4.33.0-rc1 - 0.2
0.2.3v0.2.3v4.33.0-rc1 - 0.2
0.2.2v0.2.2v4.33.0-rc1 - 0.2
0.2.1v0.2.1v4.33.0-rc1 - 0.2
0.2.0v0.2.0v4.33.0-rc1 - 0.1
0.1.9v0.1.9v4.33.0-rc1 - 0.1
0.1.8v0.1.8v4.33.0-rc1 - 0.1
0.1.7v0.1.7v4.33.0-rc1 - 0.1
0.1.6v0.1.6v4.33.0-rc1 - 0.1
0.1.5v0.1.5v4.33.0-rc1 - 0.1
0.1.4v0.1.4v4.33.0-rc1