Interactive Theorem Proving

concepts · 1 notes linked

Related: Lean · Michael Douglas · Formal Verification · Quantum Field Theory · AI Assisted Proof

Notes