Quantum Harmonic Oscillator
The formalization of the quantum harmonic oscillator.
Read More →
Wick's theorem
The formalization of the proof of Wick's theorem in perturbation theory.
Read More →
Higgs potential
The formalization of properties of the Higgs potential.
Read More →
Tensors 🚧
The formalization of tensors and index notation.
Read More →