Lean Prover

entities · 2 notes linked

Related: Formal Verification · Z3 · Formal Methods · Model Checking · Theorem Proving · Kevin Buzzard · Imperial College London · Proof Assistants

Notes

• Blog :: What I've Learned About Formal Methods In Half a Year — Practical introduction to formal methods via model checking and theorem proving
• Formalising mathematics - an introduction — Kevin Buzzard on Lean proof assistant and digitizing mathematics