Playtime past 2 weeks:
0h

View global achievement stats
You must be logged in to compare these stats to your own
8 of 9 (89%) achievements earned:
Personal Achievements
 

Prove You Can Win

Complete chapter 1.
Unlocked 4 Jan @ 4:53pm

Locks and Keys

Complete chapter 2.
Unlocked 4 Jan @ 9:22pm

Prove You Can't Win

Complete chapter 3.
Unlocked 4 Jan @ 9:22pm

Variables

Complete chapter 4.
Unlocked 7 Jan @ 3:27am

Connectives and Quantifiers

Complete chapter 5.
Unlocked 11 Jan @ 10:22pm

Review

Complete chapter 6.
Unlocked 12 Jan @ 5:08am

Eureka!

Prove one proposition.
Unlocked 4 Jan @ 4:31pm

What??

Prove an impossible conclusion.
Unlocked 11 Jan @ 10:22pm



Q.E.D.

Prove all provable propositions.