Skip to content

Fix(lean,#19736): cellule d'audit -- un echec de verification n'est pas un verdict sur les axiomes - #19874

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/19736-audit-cell-diagnostic
Oct 8, 2026
Merged

Fix(lean,#19736): cellule d'audit -- un echec de verification n'est pas un verdict sur les axiomes#19874
myia-ai-01 merged 1 commit into
mainfrom
fix/19736-audit-cell-diagnostic

Fix(lean,#19736): cellule d'audit -- un echec de verification n'est p…

7170a91
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar