Basic utility functions for randomization in Scala
When you just have to implement everything
Axiomatic set theory, computerized