Welcome to MathWorlds!
Just compile the game as you would with minetest and then choose 'MathWorlds' in the mapgen menu! Have fun!