Skip to content

feat(SUSY/N1): add chiral scalar configuration space and coordinate CLMs#1113

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
pariandrea:susy-n1-basic
Jun 4, 2026
Merged

feat(SUSY/N1): add chiral scalar configuration space and coordinate CLMs#1113
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
pariandrea:susy-n1-basic

refactor(SUSY/N1): move chiral sector to Particles/SuperSymmetry/N1

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

Annotations

1 warning
Python based style linter
succeeded Jun 4, 2026 in 13s