External Links

    Journal: J. Formalized Reasoning

    Volume 7, Issue 2

    1 -- 89David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, YuTing Wang. Abella: A System for Reasoning about Relational Specifications
    91 -- 199Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen. Matita Tutorial

    Volume 7, Issue 1

    1 -- 43Thorsten Altenkirch, James Chapman, Tarmo Uustalu. Relative Monads Formalised
    45 -- 62Christian Sternagel. Certified Kruskal's Tree Theorem
    63 -- 104Reynald Affeldt, Kazuhiko Sakaguchi. An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing
    105 -- 129Yves Bertot, Guillaume Allais. Views of PI: Definition and computation
    131 -- 142Pierre Roux. Innocuous Double Rounding of Basic Arithmetic Operations
    runs on