Mechanics Engine for Formal Verification

An analytical mechanics and dynamical systems engine for modeling, simulating, and visualizing classical physical systems.

Backend exports verification-ready packages containing dynamics, assumptions, candidate invariants, safe sets, and proof obligations for external tools such as model checkers and theorem provers.

The code can be found here: https://github.com/eyang07/physics-engine