👤 PersonaThierry Coquand1961– · FranciaWikipediaWikipedia (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
