Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

Research output: Working paper / Preprint › Preprint

Access to Document

@techreport{3193284891244df6849554053025447c,

title = "Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature",

author = "Joseph Tooby-Smith",

year = "2026",

month = mar,

doi = "10.48550/arXiv.2603.08139",

language = "English",

publisher = "arXiv",

type = "WorkingPaper",

institution = "arXiv",

}

TY - UNPB

T1 - Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

AU - Tooby-Smith, Joseph

PY - 2026/3

Y1 - 2026/3

U2 - 10.48550/arXiv.2603.08139

DO - 10.48550/arXiv.2603.08139

M3 - Preprint

BT - Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

PB - arXiv

ER -