GitHub repository: ImperialCollegeLondon/real-number-game
Primary language: Lean
Created: 2019-11-15T17:40:02Z
Description: A gamification of the theorems in MATH40002 Analysis 1