Registered user since Mon 17 Jan 2022

Name:Fabrício S. Paranhos
Affiliation:Universidade Federal de Goiás

Contributions

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