Christine Paulin-Mohring

Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at the Faculté des Sciences of Paris-Saclay University, best known for developing the interactive theorem prover Rocq. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Paulin-Mohring, Christine', query time: 0.04s Refine Results
1
Mathematics of Program Construction
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search