SOURCE RECORD · github
A project to digitalise results from physics into Lean.
Open canonical source ↗
Research paper status → · Book status →