A project to digitalise results from physics into Lean.

lean physics theorem-proving
1 Open Issue Need Help Last updated: Sep 12, 2025

Open Issues Need Help

View All on GitHub
Bump to version: v4.22.0 about 2 months ago
help wanted

A project to digitalise results from physics into Lean.

Lean
#lean#physics#theorem-proving