Skip to content

feat: Effective potential for Weyl fermions (Stacked on #1404) - #1415

Draft
jstoobysmith wants to merge 268 commits into
leanprover-community:masterfrom
jstoobysmith:AddPotentialAlgebra
Draft

feat: Effective potential for Weyl fermions (Stacked on #1404)#1415
jstoobysmith wants to merge 268 commits into
leanprover-community:masterfrom
jstoobysmith:AddPotentialAlgebra

feat: Some text

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

Annotations

1 warning
Add size label
succeeded Sep 2, 2026 in 6s