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] Decision Procedure for Equivalence Relations
Tuesday 1 September 2026
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
Friday 19 September 2025
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
