Mechanics

Foundational temp formal power series $\succ \dots \succ$ Mechanics $\succ$ $\succ \dots \succ$ Pendulum
tmp entry on the mechanics intro part

Guide

Sequel of

Foundational temp formal power series

Classical Hamiltonian system, Euler-Lagrange equations