Not registered as user yet

Name:Daniel Ventura
Affiliation:Universidade Federal de Goiás

Contributions

CoqPL 2022 Author of Towards a Formalization of Nominal Sets in Coq within the CoqPL-track