<Good First Issue />

/

Sign in Sign up

HEPLean/PhysLean

A project to digitalise results from physics into Lean.

LeanStars 403Forks 55Watchers 403Open issues 24License Apache License 2.0

Details

仓库信息

OwnerHEPLean

Homepagehttps://physlean.com

GitHubhttps://github.com/HEPLean/PhysLean

Last pushed2025-12-13

Last updated2025-12-14

Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--