Formalized Mathematics

concepts · 1 notes linked

Related: Kevin Buzzard · Lean Prover · Imperial College London · Formal Verification · Proof Assistants

Notes