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