Back Christine Paulin-Mohring English Christine Paulin-Mohring French Christine Paulin-Mohring Portuguese
Christine Paulin-Mohring (* 31. Mai 1962)[1] ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen.
- ↑ Notice de personne. In: catalogue.bnf.fr. BnF, abgerufen am 28. November 2021 (französisch).