Skip to content

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

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

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

Merge branch 'master' into AddPotentialAlgebra

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Oct 3, 2026 in 5s