☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (9)
LeanFrontier
0.1.1
A Lean 4 library of machine-generated, kernel-verified mathematics.
Displaying
1-3
of
3
versions of
LeanFrontier
Sort by
Date
0.1
Version track: 0.1
0.1.1
8 hours ago
Released on September 27, 2026 at 9:48:44AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.34.0
0.1
Version track: 0.1
0.1.1
v0.1.1
a month ago
Released on August 13, 2026 at 7:31:19AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.33.0-rc1
0.1
Version track: 0.1
0.1.0
v0.1.0
a month ago
Released on August 13, 2026 at 7:26:21AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.33.0-rc1
1
20