You can visit the homepage of the game in http://goedelsproof.com

Maybe that could be useful for the game…