Selected publications at LSV

@mastersthesis{m2-thire,
   author = {Thir{\'e}, Fran{\c c}ois},
   month = aug,
   note = {26~pages},
   school = {{M}aster {P}arisien de {R}echerche en {I}nformatique, Paris, France},
   type = {Rapport de {M}aster},
   title = {Reverse engineering on arithmetic proofs},
   url = {https://hal.inria.fr/hal-01424816},
   year = {2016},
}

About LSV

Select by Year