Skip to content
@HEPLean

HEPLean

Pinned Loading

  1. PhysLean PhysLean Public

    A project to digitalise results from physics into Lean.

    Lean 143 11

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 143 Apache-2.0 11 11 (9 issues need help) 1 Updated Mar 21, 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 1 Apache-2.0 0 0 0 Updated Mar 13, 2025

Top languages

Loading…

Most used topics

Loading…