Implementing computable versions of degreeLT, degreeLE, and related theorems#88
Open
desmondcoles1 wants to merge 16 commits intoVerified-zkEVM:masterfrom
Open
Implementing computable versions of degreeLT, degreeLE, and related theorems#88desmondcoles1 wants to merge 16 commits intoVerified-zkEVM:masterfrom
desmondcoles1 wants to merge 16 commits intoVerified-zkEVM:masterfrom
Commits
Commits on Feb 14, 2026
Commits on Feb 16, 2026
- committed
- committed
- committed
Commits on Feb 19, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Feb 20, 2026
- committed