CCORN

(redirected from Constructive Coq Repository at Nijmegen)
AcronymDefinition
CCORNConstructive Coq Repository at Nijmegen (Netherlands; mathematics)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
Full browser ?