3 search results for "author:"Guowei Dou""

Showing 1 - 3
  1. coq-mk-real-number-completeness

    No documentation

    Proof of the equivalence of the real number completeness theorems based on Morse-Kelley axiomatic set theory
    keyword:set theory keyword:real number completeness keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2026-03-09 logpath:MKRC
    Ce Zhang Guowei Dou Wensheng Yu
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2026
  2. 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
  3. 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