Skip to content

@lean-phys-community lean-phys-community

Change the repository type filter

All

    Repositories list

    3 repositories

    • Physlib-Website

      Public
      This repository hosts the website for PhysLean
      HTML
      •
      Apache License 2.0
      •0•0•1•0•Updated Apr 6, 2026Apr 6, 2026

    • ITPsInPhysicsArchive

      Public
      A list of projects related to interactive theorem provers in physics.
      Apache License 2.0
      •0•5•0•0•Updated Jan 16, 2026Jan 16, 2026

    • PhysLean_notes

      Public
      Notes in PhysLean
      Lean
      •
      Apache License 2.0
      •0•3•1•0•Updated May 7, 2025May 7, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.