Michael Douglas

entities · 1 notes linked

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

Notes