Sommaire

A Formal Proof Of The Riesz Representation Theorem

Narkawicz, Anthony

Link
Link


Journal of Formalized Reasoning
Formalizing a Proof that e is Transcendental

Bingham, Jesse

Link
Link


Journal of Formalized Reasoning
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration

Chiarabini, Luca ; Danvy, Olivier

Link
Link


Journal of Formalized Reasoning