Skip to content

feat(lean,#17552): Lean-34b — FairBot par le théorème de Löb (L2 postulé vs L3 prouvé, combat modal GL) - #17556

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/17552-lean34b-fairbot
Sep 24, 2026
Merged

feat(lean,#17552): Lean-34b — FairBot par le théorème de Löb (L2 postulé vs L3 prouvé, combat modal GL)#17556
myia-ai-01 merged 2 commits into
mainfrom
feature/17552-lean34b-fairbot

Commits

  1. Commits on Sep 23, 2026