Skip to content

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

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

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

feat: Describe subalgebras generated by homogeneous submodules and re…

44c1ed9
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 Sep 25, 2026 in 4s