jammy.fun

small games, made for fun.

• 🐸 Invariant Frog
  A visual intro to loop invariants, checked by Z3.