Pierre Corbineau
Send a private message to this author
Articles by this author
Models of Distributed Algorithms
Friday 16 October 2020
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
Sunday 15 October 2023
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
