|
| 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] |