CompPoly0.1.0
A computable model of Polynomials in Lean.
1-1 of 1 packages depending on Verified-zkEVM/CompPoly
Sort by
Package Name
Verified-zkEVM/Arklibuses
v4.28.0Formally Verified Arguments of Knowledge in Lean
CompPoly0.1.0v4.28.0