Joseph Tooby-Smith

Identifiers

No identifiers captured yet.

Papers (1)

1. Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature hep-ph · 2026 · author #1

Mentions

No mention provenance yet.