An open-source, community project to formalize physics into the proof assistant Lean.
Last revised on July 17, 2025 at 13:35:14. See the history of this page for a list of all contributions to it.