Representing Conway's Game of Life
43147
Can TikZ create pixel art images?
94295
Pigeonhole-principle with two choices
65372
Triangles defined on an infinite Go board by same-colored stones
49795
Validity of LTL formulas in a given transition system
105104
Predicting physics/trajectory for pool/billiards games
140364
Covering ten dots on a table with ten equal-sized coins: explanation of proof
101642
Counting in a rectangular grid with obstacles
32181
A logic puzzle involving a balance.
47658
Can't EF game theory be applied to finite languages WITH function symbols?
67177
Markov chains, cellular automata, and raster algebra
5220
Immutability, Association and typing
94617
Showing Consistency and Completeness implies a unique truth assignment
74839
Catalan numbers: bijection between applications of a binary operator and Dyck words.
55199
Number Theory in a Choice-less World
22895
Word list for use in commercial game
125483
3D Rules for a 2D Game
37629
Combinatorial card game