set_theory_test, a C++ code which calls set_theory(), which implements some of the operations of set theory.
The information on this web page is distributed under the MIT license.
set_theory, a C++ code which demonstrates various set theoretic operations using several models of a set.