4 search results for "tag:"keyword: Zermelo-Fraenkel""

Showing 1 - 4
  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-izf

    No documentation

    Intuitionistic Zermelo-Fraenkel Set Theory in Coq
    keyword: Intuitionistic set theory keyword: pointed graphs keyword: type theory keyword: intuitionistic choice operator keyword: set theory keyword: Zermelo-Fraenkel category: Mathematics/Logic/Set theory date: 2003-02
    Alexandre Miquel <Alexandre.Miquel@pps.jussieu.fr> [http://www.pps.jussieu.fr/~miquel]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-zf

    No documentation

    An axiomatisation of intuitionistic Zermelo-Fraenkel set theory
    keyword: set theory keyword: Zermelo-Fraenkel category: Mathematics/Logic/Set theory
    Guillaume Alexandre
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  4. 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