Skip to content

Merge branch 'leanprover-community:master' into 0503-positivetemperature

b71da0a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(temperature): PositiveTemperature refactor #976

Merge branch 'leanprover-community:master' into 0503-positivetemperature
b71da0a
Select commit
Loading
Failed to load commit list.

Annotations

2 errors and 1 warning
Lean based style linters
failed Mar 23, 2026 in 30m 42s