Skip to content
@HEPLean

HEPLean

Pinned Loading

  1. PhysLean PhysLean Public

    A project to digitalise results from physics into Lean. (formally called HepLean)

    Lean 109 9

Repositories

Showing 1 of 1 repositories
  • PhysLean Public

    A project to digitalise results from physics into Lean. (formally called HepLean)

    HEPLean/PhysLean’s past year of commit activity
    Lean 109 Apache-2.0 9 8 (6 issues need help) 0 Updated Feb 17, 2025

Top languages

Loading…

Most used topics

Loading…