Enrico Tassi

http://www-sop.inria.fr/members/Enrico.Tassi/

@coq @math-comp @LPCIC Inria Sophia-Antipolis I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter