Coq Repository at Nijmegen

The CoRN library has very roughly been developed in the following stages, chronologically:

See the publications section for a longer description.
[Publications] [Sources]