External Links

    Journal: J. Formalized Reasoning

    Volume 3, Issue 2

    1 -- 93Adam J. Chlipala. An Introduction to Programming and Proving with Dependent Types in Coq
    95 -- 152Georges Gonthier, Assia Mahboubi. An introduction to small scale reflection in Coq
    153 -- 245Adam Grabowski, Artur Kornilowicz, Adam Naumowicz. Mizar in a Nutshell
    runs on