Skip to content

feat(lean,#13483): tranche 12 -- admission des temoins dyadiques T=2 (clignotant, crapaud) - #18884

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/13483-t12-periodic-witnesses
Oct 3, 2026
Merged

feat(lean,#13483): tranche 12 -- admission des temoins dyadiques T=2 (clignotant, crapaud)#18884
myia-ai-01 merged 2 commits into
mainfrom
feature/13483-t12-periodic-witnesses

Merge branch 'main' into feature/13483-t12-periodic-witnesses

3df650d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar