Skip to content

Prove common30 P112 span bound and exclude the 2^5,6,7^5 caller - #3973

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Clear1nsight:research/c5-common30-geometry-20261019
Oct 20, 2026
Merged

Prove common30 P112 span bound and exclude the 2^5,6,7^5 caller#3973
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Clear1nsight:research/c5-common30-geometry-20261019

Prove P112 common30 span bound and exclude literal C5 caller

1e77152
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 19, 2026 in 2m 35s