Reservoir
No results found
All Packages
LSpec
A Testing Framework for Lean
Readme
Versions (1)
Displaying
1-1
of
1
versions of
LSpec
Sort by
Date
Not a part of any version track.
8a51034
2 months ago
Released on August 5, 2024 at 11:31:43AM
Commit 8a51034 builds on its old leanprover/lean4:v4.4.0-rc1
v4.4.0-rc1
1
20