|
From: | daly |
Subject: | [Axiom-developer] Proving Axiom correct |
Date: | Fri, 10 Jul 2015 19:19:19 -0500 |
There is a free book "Certified Programming with Dependent Types" about COQ available at: http://adam.chlipala.net/cpdt/cpdt.pdf Tim
[Prev in Thread] | Current Thread | [Next in Thread] |