☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
ff
0.1.0
Plonky3 formal verification framework
Displaying
1-1
of
1
versions of
ff
Sort by
Date
0.1
Version track: 0.1
0.1.0
a month ago
Released on October 17, 2025 at 2:38:49PM
Commit 10d55d4 builds on its old leanprover/lean4:v4.22.0-rc2
v4.22.0-rc2
51.7 MB
Build archive size: 51723298 bytes.
1
20