search

ImperialCollegeLondon / real-number-game

A gamification of the theorems in MATH40002 Analysis 1
Apache License 2.0
79 stars 8 forks source link

Sets world L1 and L2 tidying #10

Closed grthomson closed 4 years ago

grthomson commented 4 years ago

Replaced some text, introduced some foldable hints

kbuzzard commented 4 years ago

LGTM