A.Asperti, J.Harrison, C.Munoz editors.
Table of Contents
Articles
| An Introduction to Programming and Proving with Dependent Types in Coq | |
| Adam Chlipala | 1 - 93 |
| An introduction to small scale reflection in Coq | |
| Georges Gonthier, Assia Mahboubi | 95 - 152 |
| Mizar in a Nutshell | |
| Adam Grabowski, Artur Kornilowicz, Adam Naumowicz | 153 - 245 |
© Copyright 2011 - Legal registration pending