Skip to content

feat: Refactor downstream use away from FieldStrengthMatrix#1288

Open
NicolaBernini wants to merge 23 commits into
leanprover-community:masterfrom
NicolaBernini:feat/refactor-downstream-use-away-from-fieldStrengthMatrix-27June2026
Open

feat: Refactor downstream use away from FieldStrengthMatrix#1288
NicolaBernini wants to merge 23 commits into
leanprover-community:masterfrom
NicolaBernini:feat/refactor-downstream-use-away-from-fieldStrengthMatrix-27June2026

fix: Address Hamiltonian diagonal branch

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

Annotations

1 warning
Lean based style linters
succeeded Jul 1, 2026 in 4m 31s