Skip to content

Verify YM C313 discrete two-loop invariant firewall - #929

Draft
stevemoraco wants to merge 3 commits into
mainfrom
verification/ym-c313-discrete-two-loop-invariant-20260820
Draft

Verify YM C313 discrete two-loop invariant firewall#929
stevemoraco wants to merge 3 commits into
mainfrom
verification/ym-c313-discrete-two-loop-invariant-20260820

repair YM C313 finite telescope proofs

1593ce0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar