Math based story game (Proof assistant based visual game?)
- Proof Assistants
- Flat Land
- Category Theory
- Type Theory
- Homotopy Theory
- Algebra
- Group Theory
- Calculus
We start with a point (0
)
We add an operation (succ
)
We build numbers (3(succ) = succ succ succ 0
)
We build multiplication (3 \cdot 4 = 3(4)
)
...
We build groups from a monoid with inverses