lnay metric-spaces-and-topology-game issues - Githubissues

lnay / metric-spaces-and-topology-game

MIT License

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

ISSUE #7 prove uniqueness of limit (metric space)

#19 lnay closed 3 months ago
0
Create proof: metric world - lvl 2 #6

#18 michaelellsworth opened 3 months ago
0
Convert proof into Game level: Topology - lvl 2

#17 lnay opened 4 months ago
0
Convert proof into Game level: Topology - lvl 1

#16 lnay opened 4 months ago
0
Convert proof into Game level: metric - lvl 3

#15 lnay opened 4 months ago
1
Convert proof into Game level: metric - lvl 2

#14 lnay opened 4 months ago
0
Create new proof: Topology world lvl 6

#13 lnay opened 4 months ago
0
Create new proof: Topology world lvl 5

#12 lnay opened 4 months ago
0
Create new proof: Topology world - lvl 4

#11 lnay opened 4 months ago
0
Create new proof: Topology wrld - lvl 3

#10 lnay opened 4 months ago
0
Create new proof: Topology world - lvl 2

#9 lnay opened 4 months ago
0
Create new proof: Topology world lvl 1

#8 lnay opened 4 months ago
0
Create new proof: metric world - lvl 3

#7 lnay closed 3 months ago
1
Create proof: metric world - lvl 2

#6 lnay opened 4 months ago
0
DISCUSSION: Game syllabus

#5 lnay opened 4 months ago
1
ISSUE: Level 1 too bogged down on group operations

#4 lnay closed 4 months ago
1
TEST: Gather feedback on level 1

#3 lnay opened 4 months ago
6
Rename and reorganise

#2 lnay closed 4 months ago
1
FEATURE: level to unlock triangle inequality

#1 lnay closed 4 months ago
1