11 search results for "author:"Pierre Castéran""

Showing 1 - 11
  1. coq-addition-chains

    No documentation

    Exponentiation algorithms following addition chains in Coq
    category:Mathematics/Combinatorics and Graph Theory keyword:addition chains keyword:exponentiation algorithms logpath:additions date:2022-05-20
    Pierre Castéran Yves Bertot
    0.9
    MIT
    Used by 0 other packages
    25 May 2022
  2. coq-additions

    No documentation

    Addition Chains
    keyword: addition chains category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category: Miscellaneous/Extracted Programs/Arithmetic
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-cantor

    No documentation

    On Ordinal Notations
    keyword: ordinal numbers keyword: well-foundedness keyword: termination keyword: rpo keyword: Goodstein sequences category: Mathematics/Logic category: Mathematics/Arithmetic and Number Theory/Number theory date: 2006-05-22
    Pierre Castéran <pierre.casteran@labri.fr> [http://www.labri.fr/~casteran/] Évelyne Contejean <contejea@lri.fr> [http://www.lri.fr/~contejea]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  4. coq-dictionaries

    No documentation

    Dictionaries (with modules)
    keyword: modules keyword: functors keyword: search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures date: 2003-02-6
    Pierre Castéran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  5. coq-exceptions

    No documentation

    Pro[gramm,v]ing with continuations:A development in Coq
    keyword: exceptions keyword: continuations category: Computer Science/Semantics and Compilation/Semantics
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. coq-gaia-hydras

    No documentation

    Bridge in Coq between Gaia and Hydra battles
    category:Mathematics/Logic/Foundations keyword:ordinal numbers logpath:gaia_hydras date:2022-05-20
    Pierre Castéran
    0.9
    MIT
    Used by 0 other packages
    25 May 2022
  7. coq-groups

    No documentation

    An exercise on groups
    keyword: group theory category: Miscellaneous/Coq Use Examples
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  8. coq-hydra-battles

    No documentation

    Exploration of some properties of Kirby and Paris' hydra battles, with the help of Coq
    category:Mathematics/Combinatorics and Graph Theory category:Mathematics/Logic/Foundations keyword:Ketonen-Solovay machinery keyword:ordinal numbers keyword:primitive recursive functions logpath:hydras date:2022-05-20
    Pierre Castéran Évelyne Contejean Jeremy Damour Russell O'Connor Karl Palmskog et al.
    0.9
    MIT
    Used by 2 other packages
    25 May 2022
  9. coq-lambek

    No documentation

    A Coq Toolkit for Lambek Calculus
    keyword: Computational linguistic keyword: categorial grammar keyword: Lambek calculus... category: Computer Science/Formal Languages Theory and Automata date: March-July 2003
    Houda Anoun <anoun@labri.fr> Pierre Castéran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  10. coq-search-trees

    No documentation

    Binary Search Trees
    keyword: binary search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  11. coq-zsearch-trees

    No documentation

    Binary Search Trees
    keyword: binary search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019