External Links

    Journal: J. Formalized Reasoning

    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