Christine Paulin-Mohring
E277974
UNEXPLORED
Christine Paulin-Mohring is a French computer scientist and logician best known as a leading developer of the Coq proof assistant and for her contributions to type theory and formal methods.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.