Skip to content

feat: Close the smallest pendulum configuration-space sorryful definitions#1327

Open
NicolaBernini wants to merge 2 commits into
leanprover-community:masterfrom
NicolaBernini:feat/close-smallest-pendulum-config-space-sorryful-definitions-30June2026
Open

feat: Close the smallest pendulum configuration-space sorryful definitions#1327
NicolaBernini wants to merge 2 commits into
leanprover-community:masterfrom
NicolaBernini:feat/close-smallest-pendulum-config-space-sorryful-definitions-30June2026

Use Real.Angle for sliding pendulum angle

8640cf6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Jul 1, 2026 in 29m 57s