☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependents (5)
LSpec
2.0.0
A Testing Framework for Lean
Displaying
1-2
of
2
versions of
LSpec
Sort by
Date
2.x
Version track: 2.x
2.0.0
16 days ago
Released on September 17, 2025 at 3:20:25PM
Commit 1fc461a builds on its recent leanprover/lean4:v4.23.0
v4.23.0
885.6 KB
Build archive size: 885598 bytes.
Not a part of any version track.
504a8ce
v4.12.0-toolchain
a year ago
Released on October 7, 2024 at 5:33:07AM
Commit 504a8ce builds on its old leanprover/lean4:v4.12.0
v4.12.0
1.9 MB
Build archive size: 1929946 bytes.
1
20