1 search result for "tag:"keyword: inductive definitions""

Showing 1 - 1
  1. 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