set-theory

Here are 5 public repositories matching this topic...

A formalization of the textbook Elements of Set Theory

math coq theorem-proving set-theory formal-languages

Coq集合论中文教程

math coq theorem-proving set-theory

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

coq set-theory ssreflect mathcomp docker-coq-action bourbaki mathcomp-ci

Archived since the contents have been moved to the topology repository

coq set-theory coq-library

Tarski-Grothendieck Set Theory

set-theory paradox

Add a description, image, and links to the set-theory topic page so that developers can more easily learn about it.

To associate your repository with the set-theory topic, visit your repo's landing page and select "manage topics."