feat(PhyslibAlpha/Particles): The effective potential of the 2HDM - #1357

Merged

jstoobysmith merged 25 commits into

leanprover-community:masterfrom

jstoobysmith:EffectivePotential2HDM

Jul 7, 2026

Commits on Jun 30, 2026

feat: Add effective potential
jstoobysmith
committed
99ad741
feat: my edits
jstoobysmith
committed
6c9e217
feat: Move to PhyslibAlpha
jstoobysmith
committed
8ed95b2
feat: First pass by claude

jstoobysmith
and
claude
committed
68288b8
feat: Claude build 2

jstoobysmith
and
claude
committed
9a8cd66
feat: Claude block 3

jstoobysmith
and
claude
committed
9aef3a3
feat: Next claude batch

jstoobysmith
and
claude
committed
af7b736
feat: Claude next batch

jstoobysmith
and
claude
committed
19cd46b
feat: next batch.

jstoobysmith
and
claude
committed
5ee8ab3
feat: Next batch

jstoobysmith
and
claude
committed
4403284
refactor: Next turn

jstoobysmith
and
claude
committed
a22dbdb
feat: Next pass

jstoobysmith
and
claude
committed
9a4b275
refactor: Next round

jstoobysmith
and
claude
committed
225b122
feat: Next build

jstoobysmith
and
claude
committed
24ebca2
feat: Next batch

jstoobysmith
and
claude
committed
456ba58
feat: next batch

jstoobysmith
and
claude
committed
dcf63f5
feat: Next batch.

jstoobysmith
and
claude
committed
99526cb

Commits on Jul 1, 2026

feat: next batch

jstoobysmith
and
claude
committed
cf5f38f
feat: Calude finishes the proof

jstoobysmith
and
claude
committed
1d1c18f
feat: Claude

jstoobysmith
and
claude
committed
e486608
feat: More claude

jstoobysmith
and
claude
committed
63b903e
feat: Clude

jstoobysmith
and
claude
committed
8ef7b40

Commits on Jul 2, 2026

refactor: Human clean up
jstoobysmith
committed
03e8f7a
refactor: Lint
jstoobysmith
committed
0b7068c
refactor: Lint
jstoobysmith
committed
5b47a61