leanprover-community / physlib

git clone https://github.com/leanprover-community/physlib.git

A project to digitalise results from physics into Lean.

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

795

★ total

214

forks · 104 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageLean

LicenseApache-2.0

Created2024-04-16 (2y ago)

Last pushtoday

OwnerOrganization

GitHub topics

lean physics theorem-proving

Links

GitHub: github.com/leanprover-community/physlib
Homepage: https://physlib.io
Releases · Issues · Hacker News mentions