Meven Lennon-Bertrand

1. 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
2. Accompanying artefact for "What does it take to certify conversion?"
   2025/01/01 by Meven Lennon-Bertrand, Lennon-Bertrand, Meven · 1 citation
   Computer Science · #Software Testing and Debugging Techniques