Skip to content

Prove a complete four-width criterion for affine-quadratic native identities - #5369

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/breakthrough-1023
Oct 24, 2026
Merged

Prove a complete four-width criterion for affine-quadratic native identities#5369
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/breakthrough-1023

Prove a constructive four-width criterion for native monomial identities

18354f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 3m 44s