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

by L Cruz-Filipe, H Geuvers, Wiedijk
Venue:In: 3th International Conference on Mathematical Knowledge Management (MKM