Skip to content
@lean-phys-community

lean-phys-community

Popular repositories Loading

  1. ITPsInPhysicsArchive ITPsInPhysicsArchive Public

    A list of projects related to interactive theorem provers in physics.

    5

  2. PhysLean_notes PhysLean_notes Public

    Notes in PhysLean

    Lean 3

  3. PhysLean_Website PhysLean_Website Public

    This repository hosts the website for PhysLean

    HTML

Repositories

Showing 3 of 3 repositories
  • PhysLean_Website Public

    This repository hosts the website for PhysLean

    lean-phys-community/PhysLean_Website’s past year of commit activity
    HTML 0 Apache-2.0 0 1 (1 issue needs help) 0 Updated Mar 21, 2026
  • ITPsInPhysicsArchive Public

    A list of projects related to interactive theorem provers in physics.

    lean-phys-community/ITPsInPhysicsArchive’s past year of commit activity
    5 Apache-2.0 0 0 0 Updated Jan 16, 2026
  • PhysLean_notes Public

    Notes in PhysLean

    lean-phys-community/PhysLean_notes’s past year of commit activity
    Lean 3 Apache-2.0 0 1 (1 issue needs help) 0 Updated May 7, 2025

Top languages

HTML Lean

Most used topics

Loading…