The paper announces a machine-checked Lean 4 formalization of Wick's theorem in its static, standard, and normal-ordered versions, as part of PhysLean.
Scilean: Scientific computing assistant
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
hep-th 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Digitalizing Wick's theorem
The paper announces a machine-checked Lean 4 formalization of Wick's theorem in its static, standard, and normal-ordered versions, as part of PhysLean.