Skip to content

fix(lean,#16642): remove derived quantitative counts from Lean companion notebook prose - #16656

Merged
jsboige merged 1 commit into
mainfrom
fix/16642-companion-derived-counts
Sep 18, 2026
Merged

fix(lean,#16642): remove derived quantitative counts from Lean companion notebook prose#16656
jsboige merged 1 commit into
mainfrom
fix/16642-companion-derived-counts

fix(lean,#16642): remove derived numeric counts from Lean companion p…

0930750
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar