Quentin Canu

Hello, my name is Quentin Canu. I am a PhD student formalising polyhedral computations in Coq. My advisors are Xavier Allamigeon, Georges Gonthier and Pierre-Yves Strub