We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Works for KTH Royal Institute of Technology KTH Royal Institute of Technology
Works for INRIA INRIA
Works for Christian Montanari Consulting Christian Montanari Consulting
Is from Bordeaux Bordeaux
Works for Inria Inria
Joined on Sep 26, 2017
Works for @coq @math-comp @LPCIC @coq @math-comp @LPCIC
Is from Lyon, France Lyon, France
Joined on Oct 27, 2017