Skip to content
@HEPLean

HEPLean

Pinned Loading

  1. HepLean HepLean Public

    A project to digitalise results from high energy physics into Lean.

    Lean 87 6

Repositories

Showing 1 of 1 repositories
  • HepLean Public

    A project to digitalise results from high energy physics into Lean.

    HEPLean/HepLean’s past year of commit activity
    Lean 87 Apache-2.0 6 3 (2 issues need help) 0 Updated Dec 20, 2024

Top languages

Loading…

Most used topics

Loading…