jtfmumm / set-theory   0.1.4

GitHub

Axiomatic set theory, computerized

Scala versions: 2.10
Found 1 artifact