Add 16 WOWII open conjectures (batch 1)#3795

Merged

mo271 merged 3 commits into

google-deepmind:mainfrom

henrykmichalewski:wowii-batch-1

Apr 20, 2026

Commits on Apr 17, 2026

feat(WrittenOnTheWallII): add 16 open conjecture formalizations (batch 1)
henrykmichalewski
committed

Commits on Apr 20, 2026

Address review: refactor shared definitions to FormalConjecturesForMathlib
henrykmichalewski
committed
Address review: verify and correct WOWII status labels per current website
henrykmichalewski
committed