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

by L Cruz-Filipe, H Geuvers, F Wiedijk
Venue:Proceedings of the 3rd International Conference of Mathematical Knowledge Management (MKM 2004