Did we get anywhere with Polymath?
PolyMath is not fully implemented, but seems to work. There is a main method for testing.
PolyMath generalisation