Skip to content

refactor: Weyl fermions#1360

Merged
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
jstoobysmith:WeylFermionRefactor
Jul 9, 2026
Merged

refactor: Weyl fermions#1360
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
jstoobysmith:WeylFermionRefactor

fix: build

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

Annotations

1 warning
Python based style linter
succeeded Jul 9, 2026 in 16s