Not registered as user yet

Name:Edith Heiter
Affiliation:Saarland University

Contributions

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