👤 PersonaKevin Buzzard1968– · Reino UnidoWikipedia (en)Wikidata🌍 Ver en el globoInventos y descubrimientos · 11989-2024Asistentes de demostración (Coq, Lean) y matemáticas con IA (AlphaProof)Invento o técnica · inventor
