Mario Carneiro

URI: https://gptkb.org/entity/Mario_Carneiro
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkb:mathematician
gptkbp:contributedTo gptkb:Metamath_set.mm
Lean mathematical library (mathlib)
gptkbp:field gptkb:mathematics
computer science
gptkbp:github digama0
gptkbp:knownFor gptkb:Lean_theorem_prover
gptkb:Metamath
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Metamath_Zero
gptkb:Lean_3
gptkbp:occupation gptkb:software_engineer
gptkbp:twitter gptkb:@digama0
gptkbp:bfsParent gptkb:Lean_4
gptkb:community_library_(mathlib)
gptkb:State_University_of_Rio_de_Janeiro
gptkb:Universidade_do_Estado_do_Rio_de_Janeiro
gptkbp:bfsLayer 8
https://www.w3.org/2000/01/rdf-schema#label Mario Carneiro