Top 5 set-theory open source projects

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

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

Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).

Set theory applied on sorted and deduplicated slices.