Repository navigation

feat(lean,#19729 grain 3): note IA-et-preuves-2026 -- comparaison 3 AI-disclosures KLS - #19761

Merged

myia-ai-01 merged 1 commit into

mainfrom

feature/19729-note-ia-preuves

Oct 8, 2026

Merged

feat(lean,#19729 grain 3): note IA-et-preuves-2026 -- comparaison 3 AI-disclosures KLS#19761
myia-ai-01 merged 1 commit into
mainfrom
feature/19729-note-ia-preuves

Commits on Oct 7, 2026
- feat(lean,#19729 grain 3): note IA-et-preuves-2026 -- comparaison 3 AI-disclosures KLS
  
  jsboige
  and
  claude
  committed
  73750f9