Overview
This project is dedicated to the formalization of Kepler’s laws of planetary motion using the Lean 4 interactive theorem prover.
Resources
- GitHub Repository: KeplersLawsLean
- Project Blueprint: Kepler’s Laws Blueprint
This project is dedicated to the formalization of Kepler’s laws of planetary motion using the Lean 4 interactive theorem prover.