Initial Commit for Orbital Mechanics#956

Open

hannxmarie wants to merge 3 commits intoleanprover-community:masterfrom

hannxmarie:hannah/vis-viva

Commits on Feb 20, 2026

Initial Commit
hannxmarie
committed

Commits on Feb 21, 2026

<chore> added imports to PhysLean.lean to pass
hannxmarie
committed

Commits on Feb 23, 2026

Adding VisViva Structure, ConfigurationSpace, and renaming def to remove _. Fixed spelling mistake in PhysLean.lean.
hannxmarie
committed