Lean

entities · 1 notes linked

Related: Michael Douglas · Formal Verification · Interactive Theorem Proving · Quantum Field Theory · AI Assisted Proof

Notes