Comment by Vedor

Surprisingly interesting experience even for someone that does know nothing about writing proof - thanks to gradual onboarding and a decent help menu.

Also, perfectly playable at mobile (at least a couple of first monsters).