Registered user since Thu 15 Dec 2016

Name: Théo Zimmermann

Country: France

Affiliation: IRIF, Université Paris Diderot

Personal website: http://www.theozimmermann.net

Contributions

TTT 2017Author of Coq's Prolog and application to defining semi-automatic tactics within the TTT-track