Skip to content
@HEPLean

HEPLean

Pinned Loading

  1. PhysLean PhysLean Public

    A project to digitalise results from physics into Lean.

    Lean 183 15

Repositories

Showing 3 of 3 repositories
  • PhysLean Public

    A project to digitalise results from physics into Lean.

    HEPLean/PhysLean’s past year of commit activity
    Lean 183 Apache-2.0 15 13 (9 issues need help) 1 Updated Mar 28, 2025
  • PhysLean_Website Public

    This repository hosts the website for PhysLean

    HEPLean/PhysLean_Website’s past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Mar 20, 2025
  • PhysLean_notes Public

    Notes in PhysLean

    HEPLean/PhysLean_notes’s past year of commit activity
    Lean 2 Apache-2.0 0 0 0 Updated Mar 13, 2025

Top languages

Loading…

Most used topics

Loading…