2 search results for "tag:"keyword:metric spaces""

Showing 1 - 2
  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-01-27
    Sylvie Boldo <sylvie.boldo@inria.fr> Catherine Lelay <catherine.lelay@inria.fr> Guillaume Melquiond <guillaume.melquiond@inria.fr>
    3.4.3
    LGPL-3.0-or-later
    Used by 7 other packages
    27 Jan 2025
  2. coq-topology

    No documentation

    General topology in Coq
    category:Mathematics/Real Calculus and Topology date:2023-08-18 keyword:topology keyword:filters keyword:nets keyword:metric spaces keyword:real analysis keyword:Urysohn's lemma keyword:Tietze extension theorem logpath:Topology
    Daniel Schepler
    10.2.0
    LGPL-2.1-or-later
    Used by 0 other packages
    21 Aug 2023