Kevin Buzzard, a mathematician who is very interested in formal methods is also working on a Natural Number Game. I have not played this game myself, though.

As for prerequisites, some experience with coding and logic will help.

]]>Formal Mathematics, broadly, is the process of documenting mathematics including but not limited to definitions, theorems, proofs, algorithms in a manner that their correctness can be verified by a computer. One of the primary purpose of doing this is to gain confidence in the correctness of proofs. We also believe that in the near future formal mathematics would help mathematicians use computers in their quest for finding proofs.

This is a topic I have been interested for a while now. Ask me anything!

]]>