👤 PersonaLeonardo de MouraEE. UU.Wikipedia (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
