Coq Programming with Subsets

Wed, 17 Aug 2011 21:01:56 +0200

A discussion about learning Coq for programming purposes (with OCaml extraction) and a first dissected Coq development investigating “subsets” (the sig type) …