HOME
Site map
Posts
Projects
Talks
All Projects
A count for the cube
An investigation of strategy of play of some common board games
Contributor to agda-unimath
