A project to digitalise results from physics into Lean. - View it on GitHub