-
Notifications
You must be signed in to change notification settings - Fork 85
Pull requests: o1-labs/proof-systems
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Folding: more explanation of the addition of the u-term
#2259
opened May 29, 2024 by
dannywillems
Loading…
Sketch folding test for simple add, 3 columns, 1 degree 1 constraint.
#2232
opened May 16, 2024 by
dannywillems
Loading…
Generic prover: sketch README about writing specialised interpreters
#1930
opened Mar 7, 2024 by
dannywillems
•
Draft
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-29.