What does CCORN stand for?
CCORN stands for "Constructive Coq Repository at Nijmegen"
How to abbreviate "Constructive Coq Repository at Nijmegen"?
"Constructive Coq Repository at Nijmegen" can be abbreviated as CCORN
What is the meaning of CCORN abbreviation?
The meaning of CCORN abbreviation is "Constructive Coq Repository at Nijmegen"
What does CCORN mean?
CCORN as abbreviation means "Constructive Coq Repository at Nijmegen"
