lottieisabelle

2D platformer teaching first-order logic concepts
Platformer
Play in browser