conf.researchr.org / Andrej Dudenhefner
Not registered as user yet
Name:Andrej Dudenhefner
Affiliation:Saarland University
Contributions
| CoqPL 2020 | Author of A Coq Library of Undecidable Problems within the CoqPL-track |
Not registered as user yet
Contributions
| CoqPL 2020 | Author of A Coq Library of Undecidable Problems within the CoqPL-track |