Skip to content

feat(Thermodynamics): add foundational API - #1365

Open
nateabr wants to merge 8 commits into
leanprover-community:masterfrom
nateabr:thermodynamics-foundations
Open

feat(Thermodynamics): add foundational API#1365
nateabr wants to merge 8 commits into
leanprover-community:masterfrom
nateabr:thermodynamics-foundations

refactor(Thermodynamics): address comments

85a71af
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded Jul 9, 2026 in 16s