kory33 / scala-proofs

An attempt to build axiomatic, formal set theory on top of Scala.
37Updated 10 months ago

Related projects

Alternatives and complementary repositories for scala-proofs