This is a site with Metamath tests. Metamath is a computer language used to express formal mathematics and other symbolic theories. Our tests are concentrated upon set.mm theory file. Set.mm contains logic, set theory, number theory, group theory, algebra, analysis, etc. Milpgame is an application in which you can demonstrate a given statement using axioms and theorems and is based on Metamath.


Download, unzip and install Milpgame. Download .mm teory file and one of .mm test file and place them in the same directory. Open a test file with Milpgame and start to solve the problems. Milpgame must be used only with files from this site. System requirements: 2 GB of RAM.

If you like our tests we will make more for you! Good luck!


HELP: Here we will present how the game works!

Watch the movie!