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

by L Cruz-Filipe, H Geuvers, F Wiedijk
Venue:Proceedings of MKM2004, LNCS, Volume 3119, Pages 88–103