We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Is from Lyon, France Lyon, France
Works for Inria Inria
Works for @coq @math-comp @LPCIC @coq @math-comp @LPCIC
Joined on Oct 5, 2012
Joined on Jun 9, 2011
Joined on Sep 26, 2017
Is from Lafayette, Indiana Lafayette, Indiana
