/PhysLean

A project to digitalise results from physics into Lean.

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers