set_theory_test, a C code which calls set_theory() to implement 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.