Not registered as user yet

Name:David Swasey
Affiliation:BedRock Systems

Contributions

CoqPL 2022 A Case for Lightweight Interfaces in Coq
Show activities from other conferences

Using general profile