issues
search
kbuzzard
/
FilterGame
An interactive game introducing the concept of a filter.
MIT License
5
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
A start to Function World: Levels 1,2,3
#11
IainMcWhinnie
closed
3 months ago
2
Done level 9, issue with applying le_antisymm in level 10
#10
IgorPietrzak
closed
4 months ago
0
Done up to level 8
#9
IgorPietrzak
closed
4 months ago
1
Proofs up to lvl7
#8
IgorPietrzak
closed
4 months ago
0
done proofs up to level 7 in filter world
#7
IgorPietrzak
closed
4 months ago
0
Examples of filters
#6
kbuzzard
opened
4 months ago
0
New World: Function World
#5
kbuzzard
opened
4 months ago
0
More problems
#4
mky2
opened
4 months ago
1
A self-contained alternative proof for L06
#3
mky2
closed
4 months ago
2
Possible world: infinite intersection world
#2
kbuzzard
opened
4 months ago
1
We need to port the max minigame
#1
kbuzzard
opened
4 months ago
2