software Recorde LaTeX equations in Word as click-to-edit MathJax SVG Alethic Generate–Verify–Revise reasoning agent for mathematics and physics paper supplements Fermion QFT Verification Ledger Exact SymPy re-derivation of every identity in a curved-spacetime fermion QFT paper
