| 1 | -- | 3 | Laurent Théry, Freek Wiedijk. Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science |
| 5 | -- | 22 | Cezary Kaliszyk, Josef Urban. HOL(y)Hammer: Online ATP Service for HOL Light |
| 23 | -- | 39 | Lars Noschinski. A Graph Library for Isabelle |
| 41 | -- | 62 | Sylvie Boldo, Catherine Lelay, Guillaume Melquiond. Coquelicot: A User-Friendly Library of Real Analysis for Coq |
| 63 | -- | 84 | Matilde Marcolli, John Napp. Quantum Computation and Real Multiplication |
| 85 | -- | 103 | Jyoti Talwar, Ranjan Kumar Mohanty. A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers' Equation on a Variable Mesh |
| 105 | -- | 111 | Jacqueline W. Daykin, Costas S. Iliopoulos, Mirka Miller, Oudone Phanalasy. Antimagicness of Generalized Corona and Snowflake Graphs |
| 113 | -- | 123 | Satyabrata Paul, Madhumangal Pal, Anita Pal. L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs |