Skip to content

auto-task(TwoHDM): add API-map.yaml tracking the Two Higgs Doublet Model API#1342

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
ShlokVaibhav:auto-apimap-particles-beyondthestandardmodel-twohdm-20260701-060623
Jul 1, 2026
Merged

auto-task(TwoHDM): add API-map.yaml tracking the Two Higgs Doublet Model API#1342
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
ShlokVaibhav:auto-apimap-particles-beyondthestandardmodel-twohdm-20260701-060623

auto-task(TwoHDM): add API-map.yaml tracking the Two Higgs Doublet Mo…

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

Annotations

1 warning
Lean based style linters
succeeded Jul 1, 2026 in 4m 55s