CCORN

(redirected from Constructive Coq Repository at Nijmegen)
AcronymDefinition
CCORNConstructive Coq Repository at Nijmegen (Netherlands; mathematics)
Full browser ?