Matthieu Sozeau

1. The HoTT Library: A formalization of homotopy type theory in Coq
   2016/10/14 by Andrej Bauer, Bauer, Andrej, Jason Gross +9 · 2 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. Correct and Complete Type Checking and Certified Erasure for Coq , in Coq
   2024/11/27 by Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand +4 · 7 citations
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
3. Verified Extraction from Coq to OCaml
   2024/06/20 by Yannick Forster, Matthieu Sozeau, Nicolas Tabareau · 1 voice · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Logic, programming, and type systems #Security and Verification in Computing