Skip to the content.
PhysLean: Digitalizing Physics in Lean 4
An open-source, community, project to digitalize results from physics into Lean 4.
404
Page not found :(
The requested page could not be found.