Not registered as user yet

Name:Dominik Wehr
Affiliation:Saarland University, Universiteit van Amsterdam

Contributions

CoqPL 2020 Author of A Coq Library of Undecidable Problems within the CoqPL-track