Skip to content

feat: Effective potential for Weyl fermions (Stacked on #1404) - #1415

Draft
jstoobysmith wants to merge 406 commits into
leanprover-community:masterfrom
jstoobysmith:AddPotentialAlgebra
Draft

jstoobysmith wants to merge 406 commits into
leanprover-community:masterfrom
jstoobysmith:AddPotentialAlgebra

feat(StandardModel): reduce weight-8 gauge invariants from 8 to 6 gen…

eb85196
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Add size label
succeeded Oct 12, 2026 in 6s