Repository navigation

feat(lean): certify eight-system ModalZoo subcube - #17642

Merged

myia-ai-01 merged 2 commits into

mainfrom

validate/15066-modalzoo-short

Sep 25, 2026

Merged

feat(lean): certify eight-system ModalZoo subcube#17642
myia-ai-01 merged 2 commits into
mainfrom
validate/15066-modalzoo-short

Commits on Sep 24, 2026
- feat(lean,#15066): certified modal zoo - FormalLogic.ModalZoo (Tranche G)
  
  jsboige
  and
  claude
  committed
  bce58b6
- docs(lean): clarify ModalZoo countermodel count and build evidence
  
  jsboige
  and
  claude
  committed
  a6be003