👤 PersonLeonardo de MouraUnited StatesWikipediaWikidata🌍 View on the globeInventions and discoveries · 11989-2024Proof assistants (Coq, Lean) and AI mathematics (AlphaProof)Invention or technique · inventor
