News
February 3, 2014: CL welcomes Thibault Gauthier as new member
Thibault works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.
Thibault works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.