package coq-gaia-theory-of-sets

  1. Overview
  2. No Docs
Implementation of the Theory of Sets from Bourbaki's Elements of Mathematics in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. J
    José Grimm
  2. A
    Alban Quadrat
  3. C
    Carlos Simpson

Maintainers

  1. P
    palmskog@gmail.com

Sources

v1.17.tar.gz
sha512=beeb2b8bf16549db96cf423a140e8bc927235919e3d3f54f3e93a1c2edca6d285b046518a244c417f6f2c48f02b185b2ad059b8d441eeee8b896b8658d3a33a6

Description

Implementation of the Theory of Sets following N. Bourbaki's book series Elements of Mathematics in Coq using the Mathematical Components library.

Tags

category:Mathematics/Logic/Set theory keyword:Bourbaki keyword:set theory logpath:gaia.sets date:2023-08-01

Published: 01 Aug 2023

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.12.0" & < "1.19"
  2. coq >= "8.10" & < "8.19"
  3. dune >= "2.5"

Dev Dependencies

None

Used by (2)

  1. coq-gaia-numbers = "1.17"
  2. coq-gaia-ordinals = "1.17"

Conflicts (1)

  1. coq-gaia