3 search results for "author:"Hugo Férée""

Showing 1 - 3
  1. coq-cecoa

    No documentation

    Implicit-complexity Coq library to prove that some programs are computable in polynomial time
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time keyword:rewriting logpath:Cecoa date:2018-09-10
    Hugo Férée Samuel Hym Micaela Mayero Jean-Yves Moyen David Nowak
    1.0.0
    CeCILL-A
    Used by 0 other packages
    13 Sep 2018
  2. 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
  3. coq-smlms

    No documentation

    A formal semantics capturing value binding in a language with a powerful module system such as OCaml.
    category:Computer Science/Semantics and Compilation/Semantics keywords: adequacy keywords: modules keywords: module types keywords: OCaml keywords: refactoring keywords: renaming keywords: semantics logpath:AbstractRenaming date:2023-02-14
    Hugo Férée
    1.0.0
    MIT
    Used by 0 other packages
    16 Feb 2023