Skip to content

auto-task(Fermion.dirac): record TODO to add Dirac fermion representations and Color#1317

Open
jstoobysmith wants to merge 2 commits into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-114731
Open

auto-task(Fermion.dirac): record TODO to add Dirac fermion representations and Color#1317
jstoobysmith wants to merge 2 commits into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-114731

feat: Fix axion addition

5e23ce1
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 17s