Popular repositories Loading

1. formalization-of-Morse-Kelley-axiomatic-set-theory formalization-of-Morse-Kelley-axiomatic-set-theory Public

   Coq 1 1

2. Filter-Extension-Principle Filter-Extension-Principle Public

   Coq

3. Formal-verification-of-the-existence-of-non-principal-arithmetical-ultrafilters-in-Coq Formal-verification-of-the-existence-of-non-principal-arithmetical-ultrafilters-in-Coq Public

   Coq

4. opam opam Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml

5. coq-mk-reals-axioms coq-mk-reals-axioms Public

   This repository presents a coq formalization of the axiomatic definition of real numbers based on the Morse-Kelley set theory.

   Coq

6. formal-verification-of-the-filter-method-construction-for-real-numbers formal-verification-of-the-filter-method-construction-for-real-numbers Public

   Coq