JVM library for computational algebra in Thompson's group F - View it on GitHub