Coindrop
Invariant Frog screenshot

An interactive game for learning loop invariants.

More to play