External Links

    Journal: J. Formalized Reasoning

    Volume 4, Issue 1

    1 -- 24Anthony Narkawicz. A Formal Proof Of The Riesz Representation Theorem
    25 -- 69Benedikt Ahrens, Julianna Zsido. Initial Semantics for higher-order typed syntax in Coq
    71 -- 84Jesse Bingham. Formalizing a Proof that e is Transcendental
    85 -- 109Luca Chiarabini, Olivier Danvy. A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
    runs on