Skip to content

Fix(lean,#19653): section 6.1 SnapPy 3.3.2 -- 5/5 PD-codes + float(vol) + is_achievable retrait + 3 contre-verites - #19666

Merged
myia-ai-01 merged 6 commits into
mainfrom
feature/c1127-19653-lean17b-snappy61
Oct 9, 2026
Merged

Fix(lean,#19653): section 6.1 SnapPy 3.3.2 -- 5/5 PD-codes + float(vol) + is_achievable retrait + 3 contre-verites#19666
myia-ai-01 merged 6 commits into
mainfrom
feature/c1127-19653-lean17b-snappy61

Merge remote-tracking branch 'origin/main' into feature/c1127-19653-l…

04fb4c0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar