GitHub repository: robdockins/domains
Primary language: Coq
Created: 2015-06-10T06:31:10Z
Description: A formal development of constructive domain theory in Coq