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

Showing 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:2024-07-04

Sylvie Boldo <sylvie.boldo@inria.fr> Catherine Lelay <catherine.lelay@inria.fr> Guillaume Melquiond <guillaume.melquiond@inria.fr>

3.4.2

LGPL-3.0-or-later

Used by 7 other packages

04 Jul 2024