1 search result for "tag:"date:2021-10-28""

Showing 1 - 1
  1. coq-gaia

    No documentation

    Implementation of books from Bourbaki's Elements of Mathematics in Coq
    category:Mathematics/Logic/Set theory keyword:Bourbaki keyword:set theory logpath:gaia date:2021-10-28
    José Grimm Alban Quadrat Carlos Simpson
    1.13
    MIT
    Used by 1 other packages
    30 Oct 2021