Skip to content

auto-task(StandardModel.Representations): record TODO for Standard Model fermion content as left-handed Weyl fermions - #1322

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-151141
Jul 1, 2026
Merged

auto-task(StandardModel.Representations): record TODO for Standard Model fermion content as left-handed Weyl fermions#1322
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-151141

auto-task(StandardModel.Representations): record TODO for Standard Mo…

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

Annotations

1 warning
Lean based style linters
succeeded Jun 29, 2026 in 5m 19s