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.
lean physics theorem-proving
1 Open Issue Need Help
Last updated: Sep 12, 2025