1 search result for "tag:"logpath:gaia.sets""

Showing 1 - 1
  1. 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.4
    MIT
    Used by 2 other packages
    24 Jul 2026