Kevin Buzzard

entities · 1 notes linked

Related: Lean Prover · Imperial College London · Formal Verification · Proof Assistants · Formalized Mathematics

Notes