selected publications

• chapter

  • Tests and Proofs for Enumerative Combinatorics.  Lecture notes in computer science. 57-75. 2016

• conference paper

  • Combinatoire Formelle avec Why3 et Coq.  HAL (Le Centre pour la Communication Scientifique Directe). 2019