Skip to content

Merge branch 'leanprover-community:master' into master

3acc6c1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat: Thermodynamics (and some minor changes to StatisticalMechanics) #958

Merge branch 'leanprover-community:master' into master
3acc6c1
Select commit
Loading
Failed to load commit list.
Check for spelling errors
succeeded Mar 4, 2026 in 13s