set_theory_test, a C code which calls set_theory() to implement some of the operations of set theory.
The computer code and data files described and made available on this web page are distributed under the MIT license
set_theory, a C code which demonstrates various set theoretic operations using several models of a set.