F.: C-CoRN, the constructive coq repository at Nijmegen (2004)

by L Cruz-Filipe, H Geuvers, Wiedijk
Venue:In: MKM