Search results

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

Remove <code>erw</code>s

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#385 In HEPLean/PhysLean;

· jstoobysmith opened on Mar 10, 2025

Multigoal linter

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#353 In HEPLean/PhysLean;

· jstoobysmith opened on Feb 27, 2025

Basic examples for Quantum Mechanics

formalizationAn issue asking for a formalizationAn issue asking for a formalization

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#346 In HEPLean/PhysLean;

· jstoobysmith opened on Feb 20, 2025

Properties of the Pauli matrices

formalizationAn issue asking for a formalizationAn issue asking for a formalization

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#341 In HEPLean/PhysLean;

· jstoobysmith opened on Feb 14, 2025

Improve meta-programming and display around informal results

documentationImprovements or additions to documentationImprovements or additions to documentation

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#295 In HEPLean/PhysLean;

· jstoobysmith opened on Jan 24, 2025