Skip to content

Prove the exact binary parameter law for Desargues certificates (no κ) - #6447

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1102d-desargues-field-law
Nov 10, 2026
Merged

Prove the exact binary parameter law for Desargues certificates (no κ)#6447
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1102d-desargues-field-law

feat(research): prove the Desargues binary parameter law

29cf4fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 2, 2026 in 4m 30s