Skip to content

feat: Wirtinger calculus and N=1 SUSY scalar Wirtinger derivatives#1107

Open
pariandrea wants to merge 7 commits into
leanprover-community:masterfrom
pariandrea:susy
Open

feat: Wirtinger calculus and N=1 SUSY scalar Wirtinger derivatives#1107
pariandrea wants to merge 7 commits into
leanprover-community:masterfrom
pariandrea:susy

docs(Wirtinger): align Basic/Multivariable notation, tighten Basic do…

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

Annotations

1 warning
Python based linters
succeeded Jun 9, 2026 in 13s