7 search results for "tag:"date:2024-07-24""

Showing 1 - 7
  1. coq-comp-dec-modal

    No documentation

    Constructive proofs of soundness and completeness for K, K*, CTL, PDL, and PDL with converse
    category:Mathematics/Logic/Modal logic keyword:modal logic keyword:completeness keyword:decidability keyword:Hilbert system keyword:computation tree logic keyword:propositional dynamic logic logpath:CompDecModal date:2024-07-24
    Christian Doczkal
    1.2
    CECILL-B
    Used by 0 other packages
    24 Jul 2024
  2. coq-gaia-numbers

    No documentation

    Implementation of the sets of numbers Z, Q, and R following Bourbaki's Elements of Mathematics in Coq
    category:Mathematics/Arithmetic and Number Theory/Number theory keyword:integers keyword:rational numbers keyword:real numbers logpath:gaia.numbers date:2024-07-24
    José Grimm Alban Quadrat
    2.2
    MIT
    Used by 0 other packages
    11 Aug 2024
  3. coq-gaia-ordinals

    No documentation

    Implementation and properties of ordinals in Coq using Mathematical Components
    category:Mathematics/Logic/Set theory category:Mathematics/Arithmetic and Number Theory/Number theory keyword:ordered sets keyword:ordinal arithmetic keyword:ordinal numbers keyword:cardinal numbers logpath:gaia.ordinals date:2024-07-24
    José Grimm Alban Quadrat
    2.2
    MIT
    Used by 1 other packages
    11 Aug 2024
  4. coq-gaia-schutte

    No documentation

    Implementation of ordinals in Coq following Schütte and Ackermann
    category:Mathematics/Arithmetic and Number Theory/Number theory keyword:ordinal arithmetic keyword:ordinal numbers logpath:gaia.schutte date:2024-07-24
    José Grimm Alban Quadrat
    2.2
    MIT
    Used by 1 other packages
    11 Aug 2024
  5. coq-gaia-stern

    No documentation

    Properties of Fibonacci numbers and the Stern diatomic sequence in Coq
    category:Mathematics/Arithmetic and Number Theory/Number theory keyword:Stern-Brocot keyword:fibonacci numbers logpath:gaia.stern date:2024-07-24
    José Grimm Alban Quadrat
    2.2
    MIT
    Used by 0 other packages
    11 Aug 2024
  6. 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
  7. 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