Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by choukh
A curated list of projects in awesome lists by choukh .
https://github.com/choukh/set-theory
A formalization of the textbook Elements of Set Theory
coq formal-languages math set-theory theorem-proving
Last synced: 10 Oct 2024
https://github.com/choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
coq formal-languages math set-theory theorem-proving
Last synced: 04 Aug 2024