Open Issues Need Help
View All on GitHub Bump to version: v4.22.0 about 2 months ago
help wanted
HEPLean/PhysLean
344
A project to digitalise results from physics into Lean.
Lean
#lean#physics#theorem-proving
A project to digitalise results from physics into Lean.
A project to digitalise results from physics into Lean.