jtfmumm / set-theory   0.1.4

GitHub

Axiomatic set theory, computerized

Scala versions: 2.10