C-CoRN, the Constructive Coq Repository at Nijmegen

L. Cruz-Filipe, J.H. Geuvers, F. Wiedijk

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

    Original languageEnglish
    Title of host publicationMathematical Knowledge Management (Proceedings Third International Conference, MKM2004, Bialowieza, Poland, September 19-21, 2004)
    EditorsA. Asperti, G. Bancerek, A. Trybulec
    ISBN (Print)978-3-540-23029-8
    Publication statusPublished - 2001

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743

    Cite this