1 search result for "tag:"keyword: Calculus of Inductive Constructions""

Showing 1 - 1
  1. coq-zfc

    No documentation

    An encoding of Zermelo-Fraenkel Set Theory in Coq
    keyword: set theory keyword: Zermelo-Fraenkel keyword: Calculus of Inductive Constructions category: Mathematics/Logic/Set theory
    Benjamin Werner
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019