Learning Formal Mathematics from Intrinsic Motivation - View it on GitHub