leanfmt0.4.5
A structure-preserving code formatter for Lean
1-20 of 43 versions of leanfmt
Sort by
Date
- 0.4
0.4.5v0.4.5v4.34.015.3 MB - 0.4
0.4.5v0.4.5v4.34.015.3 MB - 0.4
0.4.4v0.4.4v4.33.1 - 0.4
0.4.3v0.4.3v4.33.1 - 0.4
0.4.2v0.4.2v4.33.1 - 0.4
0.4.1v0.4.1v4.33.1 - 0.4
0.4.0v0.4.0v4.33.0 - 0.3
0.3.9v0.3.9v4.33.0 - 0.3
0.3.8v0.3.8v4.33.0 - 0.3
0.3.7v0.3.7v4.33.0 - 0.3
0.3.6v0.3.6v4.33.0 - 0.3
0.3.5v0.3.5v4.33.0 - 0.3
0.3.4v0.3.4v4.33.0 - 0.3
0.3.3v0.3.3v4.33.0 - 0.3
0.3.2v0.3.2v4.33.0 - 0.3
0.3.1v0.3.1v4.33.0 - 0.3
0.3.0v0.3.0v4.32.0 - 0.2
0.2.20v0.2.20v4.32.0 - 0.2
0.2.19v0.2.19v4.32.0 - 0.2
0.2.18v0.2.18v4.32.0