Programming Decisions with Coq's Sumbools

Wed, 31 Aug 2011 09:59:59 +0200

A dissected Coq development with some experiments about the sumbool type …