Pinned Loading

1. hodge-abelian-boundaries hodge-abelian-boundaries Public

   First Lean formalization of 200 measured Hodge (2,2)-class obstructions on CM abelian varieties. Clay Wall 3. Applied science: numerical ranks > bounds for g=3,4,5. 0 axiom. 0 sorry.

   Lean 1

2. navier-stokes navier-stokes Public

   Navier–Stokes in Lean 4: machine-checked analytic core; Clay M6 statement open (NS_M6_OPEN); honest proved-vs-open ledger

   Lean 1

3. p-vs-np p-vs-np Public

   IF SAT ∉ P THEN P ≠ NP — Certified. 223 bricks. 3 barriers. 1 hypothesis. DOI: 10.5281/zenodo.21303093

   Lean 1