Proof.
Build machines. Prove them.
Chapter one · The workshop
The long way round
play
A coat of yellow
locked
Two crates
locked
Only triangles
locked
Reshaping
locked
Every other one
locked
Wait your turn
locked
Crossroads
locked
One for each
locked
By colour
locked
The workshop
locked
more machines soon