3 search results for "author:"Pierre-Marie Pédrot""

Showing 1 - 3
  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
  2. coq-label

    No documentation

    'label' is a Coq plugin for referring to Propositional hypotheses by their type
    Pierre-Évariste Dagand Théo Zimmermann Pierre-Marie Pédrot
    1.0.0
    MIT
    Used by 0 other packages
    26 Mar 2018
  3. coq-ltac2

    No documentation

    A tactic language for Coq
    Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>
    0.3
    LGPL 2.1
    Used by 0 other packages
    07 Jun 2019