3 search results for "author:"David Nowak""

Showing 1 - 3
  1. coq-bellantonicook

    No documentation

    Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time logpath:BellantoniCook date:2018-09-06
    Sylvain Heraud David Nowak
    1.0.0
    CeCILL-A
    Used by 1 other packages
    07 Sep 2018
  2. 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
  3. coq-monae

    No documentation

    Monads and equational reasoning in Coq
    keyword:monae keyword:effects keyword:probability keyword:nondeterminism logpath:monae.theories logpath:monaeImpredicativeSet date: 2025-02-26
    Reynald Affeldt David Nowak Takafumi Saikawa Jacques Garrigue Ayumu Saito et al.
    0.9.0
    LGPL-2.1-or-later
    Used by 0 other packages
    26 Feb 2025