Pierre Corbineau
Envoyer un message privé à cet auteur
Articles de cet auteur
Models of Distributed Algorithms
vendredi 16 octobre 2020
[M1 internship] Modeling of Graph Topologies Using Coq
dimanche 16 septembre 2018
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
dimanche 15 octobre 2023
[Postdoc positions] Coq Developments
mercredi 16 octobre 2019
