Skip to content

refactor: Lint

c1ecd8b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add basic formalisation of the free particle in classical mechanics #1081

refactor: Lint
c1ecd8b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Lean based style linters
succeeded May 13, 2026 in 45m 47s