LemmaCraft

Welcome!

LemmaCraft is a math proof game where you prove simple lemmas on every level. There are two modes to play the game in.

In Story Mode, you'll follow Simon, a young wizard apprentice who finds himself responsible for the fate of the free world. This story follows his hunt for a goblin army that pillaged his village, taking with them a spell-book powerful enough to overwhelm the free world. Perfect for anyone who loves a cozy fantasy adventure.

Just Here for the Math focuses exclusively on the engaging math proofs you must solve on the adventure. A standalone game perfect for anyone motivated by the thrill of problem solving who doesn't care for the fantastical adventures in Story Mode.

Choose your mode:

You can change your mind later

Up Next:

Level 3-5: Level Name

Made by Matthew McWilliams. See more of my cool stuff here.