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

Showing 1 - 1
  1. coq-coqtail

    No documentation

    Library of mathematical theorems and tools proved inside the Coq
    category:Mathematics/Real Calculus and Topology keyword:real analysis keyword:complex analysis date:2024-07-13 logpath:Coqtail
    Guillaume Allais Sylvain Dailler Hugo Férée Jean-Marie Madiot Pierre-Marie Pédrot et al.
    8.20
    LGPL-3.0-only
    Used by 0 other packages
    14 Jul 2024