👤 PersonKevin Buzzard1968– · United KingdomWikipediaWikidata🌍 View on the globeInventions and discoveries · 11989-2024Proof assistants (Coq, Lean) and AI mathematics (AlphaProof)Invention or technique · inventor
