Skip to content

@HEPLean HEPLean

Change the repository type filter

All

    Repositories list

    3 repositories

    • PhysLean

      Public
      A project to digitalise results from physics into Lean.
      physicstheorem-provinglean
      Lean
      •
      Apache License 2.0
      •10•127•11•2•Updated Mar 10, 2025Mar 10, 2025

    • PhysLean_Website

      Public
      This repository hosts the website for PhysLean
      HTML
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • PhysLean_notes

      Public
      Notes in PhysLean
      Apache License 2.0
      •0•1•0•0•Updated Mar 5, 2025Mar 5, 2025