Not registered as user yet

Name:David Swasey
Affiliation:BedRock Systems

Contributions

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