Polymath Tutorials

Problems in the book make use of 4 tools in Polymath 6.1.