Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée. (Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Catherine Lelay. Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée. (Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis). PhD thesis, University of Paris-Sud, Orsay, France, 2015. [doi]

Abstract is missing.

runs on WebDSL