Search results

Thoughts on the definition of Hilbert Space and Bra-Ket

Status: Open.

#797 In HEPLean/PhysLean;

· xwang204-bkl opened on Nov 3, 2025

PhysLean.ClassicalMechanics.HarmonicOscillator.Basic

Status: Open.

#738 In HEPLean/PhysLean;

· jstoobysmith opened on Sep 12, 2025

PhysLean.Electromagnetism.Electrostatics.Basic

Status: Open.

#723 In HEPLean/PhysLean;

· jstoobysmith opened on Aug 29, 2025

Module doc-string improvements

Status: Open.

#713 In HEPLean/PhysLean;

· jstoobysmith opened on Aug 26, 2025

Improving on-boarding documentation

Status: Open.

#700 In HEPLean/PhysLean;

· jstoobysmith opened on Aug 20, 2025

Definition of Space and Time via <code>AddTorsor</code>

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#502 In HEPLean/PhysLean;

· jstoobysmith opened on Apr 19, 2025

Definition of a second

Status: Open.

#496 In HEPLean/PhysLean;

· jstoobysmith opened on Apr 18, 2025

Kinematics Module: Definitions and Core Equations

Status: Open.

#485 In HEPLean/PhysLean;

· Lobster1911 opened on Apr 15, 2025

Formalization: Derivatives and SpaceTime

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#457 In HEPLean/PhysLean;

· jstoobysmith opened on Apr 7, 2025

Improvement of module documentation

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#443 In HEPLean/PhysLean;

· jstoobysmith opened on Apr 1, 2025

Formalization: Beyond the standard model gauge groups

formalizationAn issue asking for a formalizationAn issue asking for a formalization

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#438 In HEPLean/PhysLean;

· jstoobysmith opened on Apr 1, 2025

Decategorify index notation

Status: Open.

#425 In HEPLean/PhysLean;

· jstoobysmith opened on Mar 24, 2025