1 search result for "tag:"logpath:Coquelicot""

Showing 1 - 1
  1. coq-coquelicot

    No documentation

    A Coq formalization of real analysis compatible with the standard library
    keyword:real analysis keyword:topology keyword:filters keyword:metric spaces category:Mathematics/Real Calculus and Topology logpath:Coquelicot date:2025-07-30
    Sylvie Boldo <sylvie.boldo@inria.fr> Catherine Lelay <catherine.lelay@inria.fr> Guillaume Melquiond <guillaume.melquiond@inria.fr>
    3.4.4
    LGPL-3.0-or-later
    Used by 10 other packages
    30 Jul 2025