3 search results for "tag:"date: April 2001""

Showing 1 - 3
  1. coq-functions-in-zfc

    No documentation

    Functions in classical ZFC
    keyword: set theory keyword: Zermelo-Fraenkel keyword: functions category: Mathematics/Logic/Set theory date: April 2001
    Carlos Simpson <carlos@math.unice.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-graph-basics

    No documentation

    a Coq toolkit for graph theory
    keyword: graph theory keyword: Curry-Howard's isomorphism keyword: inductive definitions category: Mathematics/Combinatorics and Graph Theory date: April 2001
    Jean Duprat
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-idxassoc

    No documentation

    Associative Arrays
    keyword: associative arrays keyword: search operator keyword: data structures category: Computer Science/Data Types and Data Structures date: April 2001
    Dominique Quatravaux François-René Ridaux Gérald Macinenti
    8.10.0
    BSD with advertising clause
    Used by 0 other packages
    07 Dec 2019