Skip to content

auto-task(leftHandedRep): record TODO to rename Weyl fermion representations - #1311

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-070120
Jun 29, 2026
Merged

auto-task(leftHandedRep): record TODO to rename Weyl fermion representations#1311
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-070120

auto-task(leftHandedRep): record TODO to rename Weyl fermion represen…

2199c51
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based style linter
succeeded Jun 29, 2026 in 13s