Vol. 3 No. 2 (2010): Special Issue: User Tutorials I

Articles

• An Introduction to Programming and Proving with Dependent Types in Coq

  Adam Chlipala

  1 - 93

  • PDF

• An introduction to small scale reflection in Coq

  Georges Gonthier, Assia Mahboubi

  95 - 152

  • PDF

• Mizar in a Nutshell

  Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

  153 - 245

  • PDF