8 search results for "tag:"keyword:set theory""

Showing 1 - 8
  1. coq-gaia

    No documentation

    Implementation of books from Bourbaki's Elements of Mathematics in Coq
    category:Mathematics/Logic/Set theory keyword:Bourbaki keyword:set theory logpath:gaia date:2021-10-28
    José Grimm Alban Quadrat Carlos Simpson
    1.13
    MIT
    Used by 1 other packages
    30 Oct 2021
  2. coq-gaia-theory-of-sets

    No documentation

    Implementation of the Theory of Sets from Bourbaki's Elements of Mathematics in Coq
    category:Mathematics/Logic/Set theory keyword:Bourbaki keyword:set theory logpath:gaia.sets date:2024-07-24
    José Grimm Alban Quadrat Carlos Simpson
    2.2
    MIT
    Used by 2 other packages
    11 Aug 2024
  3. coq-mathcomp-classical

    No documentation

    A library for classical logic for mathematical components
    category:Mathematics/Logic/Classical logic keyword:classical logic keyword:logic keyword:sets keyword:set theory keyword:function keyword:cardinal keyword:filter logpath:mathcomp.classical
    Reynald Affeldt Alessandro Bruni Yves Bertot Cyril Cohen Marie Kerjean et al.
    1.9.0
    CECILL-C
    Used by 2 other packages
    20 Feb 2025
  4. coq-mk-choice-axiom-and-equivalent-propositions

    No documentation

    Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions
    keyword:set theory keyword:choice axiom keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2025-02-28 logpath:MKACs
    Wensheng Yu Tianyu Sun Yaoshun Fu Sheng Yan Si Chen et al.
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Feb 2025
  5. coq-mk-reals-axioms

    No documentation

    A Coq formalization of the axiomatic definition of real numbers
    keyword:set theory keyword:Morse-Kelley keyword:MK real numbers category:Mathematics/Logic/Set theory date:2024-08-22 logpath:MKReals
    Wensheng Yu Dakai Guo Si Chen Guowei Dou Shukun Len
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Aug 2024
  6. coq-morse-kelley-axiomatic-set-theory

    No documentation

    A Coq formalization of the Morse-Kelley axiomatic set theory
    keyword:set theory keyword:axiomatic set theory keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2024-07-24 logpath:MorseKelley
    Wensheng Yu Tianyu Sun Yaoshun Fu Dakai Guo Si Chen et al.
    1.0.0
    LGPL-2.1
    Used by 0 other packages
    24 Jul 2024
  7. coq-ordinal

    No documentation

    Ordinal Numbers in Coq
    date:2024-12-18 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal
    Minki Cho <minki.cho@sf.snu.ac.kr>
    0.5.4
    MIT
    Used by 0 other packages
    18 Dec 2024
  8. coq-zorns-lemma

    No documentation

    This library develops some basic set theory in Coq
    category:Mathematics/Logic/Set theory date:2023-08-18 keyword:set theory keyword:cardinals keyword:ordinal numbers keyword:finite keyword:countable keyword:quotients keyword:well-orders keyword:Zorn's lemma logpath:ZornsLemma
    Daniel Schepler
    10.2.0
    LGPL-2.1-or-later
    Used by 1 other packages
    21 Aug 2023