`CONSOLIDATED_PLAN.md` §13.4 / §13.7 (T8). `ChapterSirkCertifiedGap` proves the certified-gap theorem **T6** for the tru ...

Initializing...

`CONSOLIDATED_PLAN.md` §13.4 / §13.7 (T8). `ChapterSirkCertifiedGap` proves the certified-gap theorem **T6** for the tru ... · Prove2Me