selected publications

• book

  • Formal Methods Teaching 2023

• conference paper

  • FaCiLe en Coq : vérification formelle des listes d'intervalles.  . 2020
  • Preuve formelle et contrainte alldiff.  . 2016

• report

  • Universality of proofs.  HAL (Le Centre pour la Communication Scientifique Directe). 2017