Skip to content

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

Open
pariandrea wants to merge 1 commit into
leanprover-community:masterfrom
pariandrea:susy
Open

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

Commits

Commits on May 29, 2026