ProveIT

ProveIT is a short game which will help you learn how formal proofs work!

In ProveIT you start with a set of Given Statements. Your goal is to Prove a certain new statement using Rules of Inference. As you progress you will come across new Rules and complex levels. Complete all levels to get to know the Axioms of Logic!
A handy journal is included to help you understand rules if you get stuck!

Try to understand why each rule makes intuitive sense to get the best understanding. 
You can do that by Verbalizing the rule like so:
    "If <Input 1>, <Input 2> ... then <Output>"
For example, the "and introduction" rule can be verbalized as follows:
    "If (a is true), (b is true) ... then (a and b is true)"

If you cannot find enough time to complete the game, download the standalone journal pdf!

Happy Learning!

Some specific controls:
You can select rules and connections by clicking on them. Hold control to select multiple items. Drag them all together or use the delete key to delete them.
Right click and drag to pan the canvas.

Hints and solutions for all levels are included here:

This is a game made by VoxelRifts, SiddEz (Siddhesh) and Fluff789 (Shounak) as an entry for Summer of Maths Exposition #4, a maths explainer competition organized by 3blue1brown.

We are grateful to 
- Our Discrete Maths Professors, for introducing us to this wonderful subject.
- Our  Playtesters, for their valuable feedback.
- SoME#4, for the encouragement and the deadline.
- QED by Terry Tao, for inspiration.
- Freepiks, Flaticon for icons.
- Soundly for sounds.