Skip to content

feat(lean,#17520): Lean-24b fiabilite d'un certificat formel — mis-definition, axiomes de secours, certificat vs headline - #17530

Merged
myia-ai-01 merged 7 commits into
mainfrom
feature/lean35-confiance-preuves
Sep 27, 2026
Merged

feat(lean,#17520): Lean-24b fiabilite d'un certificat formel — mis-definition, axiomes de secours, certificat vs headline#17530
myia-ai-01 merged 7 commits into
mainfrom
feature/lean35-confiance-preuves

Merge branch 'main' into feature/lean35-confiance-preuves

89909ff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar