@inproceedings{b978051c4d944150a54f9781bf18c7a1,
title = "C-CoRN, the Constructive Coq Repository at Nijmegen",
author = "L. Cruz-Filipe and J.H. Geuvers and F. Wiedijk",
year = "2001",
language = "English",
isbn = "978-3-540-23029-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "88--103",
editor = "A. Asperti and G. Bancerek and A. Trybulec",
booktitle = "Mathematical Knowledge Management (Proceedings Third International Conference, MKM2004, Bialowieza, Poland, September 19-21, 2004)",
address = "Germany",
}