issues
search
ImperialCollegeLondon
/
real-number-game
A gamification of the theorems in MATH40002 Analysis 1
Apache License 2.0
78
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Github pages
#20
linonetwo
opened
11 months ago
0
Added Docker support
#19
icarosadero
opened
1 year ago
0
Fix typo in sets level 4
#18
danshapero
opened
4 years ago
0
Imports from World 2 to World 5 inclusive, some new levels
#17
grthomson
closed
4 years ago
0
Kb set defs
#16
stanescuUW
closed
4 years ago
0
New things in series, changed abs_le, updated things
#15
grthomson
closed
4 years ago
1
Bump to latest Lean and mathlib
#14
kbuzzard
closed
4 years ago
0
Add "use" to list of assumed tactics in C01L01
#13
anrddh
closed
4 years ago
1
Added ext tactic level for sets
#12
grthomson
closed
4 years ago
0
Kenny discord comments
#11
kbuzzard
opened
4 years ago
3
Sets world L1 and L2 tidying
#10
grthomson
closed
4 years ago
1
More fixes
#9
stanescuUW
closed
4 years ago
0
Clean up
#8
stanescuUW
closed
4 years ago
0
Set levels
#7
stanescuUW
closed
4 years ago
0
Fix set world
#6
stanescuUW
closed
4 years ago
0
Added const*sequence limit
#5
stanescuUW
closed
4 years ago
0
Just syncing.
#4
stanescuUW
closed
4 years ago
0
Added draft sets world
#3
stanescuUW
closed
4 years ago
0
Initial ds_*.lean files
#2
stanescuUW
closed
4 years ago
0
Solution to const multiplication of lim.
#1
thyrgle
closed
4 years ago
1