Skip to content

docs(fermions): add Weyl and Dirac fermion API maps - #1487

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
Robby955:fermion-api-maps-bcfb699a
Aug 4, 2026
Merged

docs(fermions): add Weyl and Dirac fermion API maps#1487
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
Robby955:fermion-api-maps-bcfb699a

docs(fermions): add Weyl and Dirac fermion API maps

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

Annotations

1 warning and 1 notice
Add topic label
succeeded Aug 3, 2026 in 1m 31s