jtfmumm / set-theory   0.1.4

GitHub

Axiomatic set theory, computerized

Scala versions: 2.10

Latest version

[![set-theory Scala version support](https://index.scala-lang.org/jtfmumm/set-theory/set-theory/latest.svg)](https://index.scala-lang.org/jtfmumm/set-theory/set-theory)

JVM badge

[![set-theory Scala version support](https://index.scala-lang.org/jtfmumm/set-theory/set-theory/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/jtfmumm/set-theory/set-theory)