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
56d10c9Formally Verified Arguments of Knowledge in Lean
CompPoly0.1.056d10c9