Registered user since Tue 11 Dec 2018
Name:Matteo Manighetti
Bio:
Research Engineer at IRIF, Université Paris Cité & CNRS
Country:France
Affiliation:IRIF, Université Paris Cité
Personal website: http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti/
Research interests:Logic, Proof Theory
Contributions
Using general profile