A gamification of the theorems in MATH40002 Analysis 1 - View it on GitHub