Sorry, we couldn’t find any results for “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).”.

Double check your search request for any spelling errors or try a different search term.