leanprover-community

leanprover-community/physlib

A project to digitalise results from physics into Lean.

675 stars 153 forks 675 watchers Lean Apache License 2.0

lean physics theorem-proving

View on GitHub Website

1 Open Issue Need Help Last updated: Aug 9, 2026

Open Issues Need Help

View All on GitHub

`ofFieldLabel` doc comment claims type is `Charges`, not `ChargeSpectrum 𝓩 about 3 hours ago

good first issue

leanprover-community/physlib

675

A project to digitalise results from physics into Lean.

Lean

#lean#physics#theorem-proving