Skip to content

Independently certify #4532's finite figures: abstract witness, counterexample, p7/p16 root applications (no new κ) - #4537

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:gate-existence-check
Oct 22, 2026
Merged

Independently certify #4532's finite figures: abstract witness, counterexample, p7/p16 root applications (no new κ)#4537
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:gate-existence-check

Independently certify #4532's finite figures: abstract witness, count…

530a5b6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 22, 2026 in 3m 17s