Sciweavers

MKM
2004
Springer
14 years 5 months ago
C-CoRN, the Constructive Coq Repository at Nijmegen
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
Luís Cruz-Filipe, Herman Geuvers, Freek Wie...