-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: Verified-zkEVM/CompPoly
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Prove QuotientCPolynomial ↔ Polynomial ring equivalence
#123
opened Feb 26, 2026 by
eliasjudin
Loading…
Issue 55 - CommRing instance for CMvPolynomial, resolution of circular dependency
#119
opened Feb 25, 2026 by
DimitriosMitsios
Loading…
Implementing computable versions of degreeLT, degreeLE, and related theorems
#88
opened Feb 14, 2026 by
desmondcoles1
Loading…
3 tasks done
ProTip!
Follow long discussions with comments:>50.