Not registered as user yet

Name:Paolo G. Giarrusso
Affiliation:BedRock Systems

Contributions

CoqPL 2022 Author of A Case for Lightweight Interfaces in Coq within the CoqPL-track