Reservoir
No results found
All Packages
FVIntmax
Formal verification of the Intmax protocol in Lean
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
FVIntmax
Sort by
Date
Not a part of any version track.
d7c4cbc
a month ago
Released on May 30, 2025 at 12:19:50PM
Commit d7c4cbc builds on its old leanprover/lean4:v4.14.0-rc2
v4.14.0-rc2
9.0 MB
Build archive size: 9022855 bytes.
1
20