Coquelicot: a user-friendly library of real analysis for Coq
scientific article; zbMATH DE number 6419297
scientific article