First-Order Platformer

As a part of my university dissertation, I created this 2D platform-style serious game to aid in teaching first-order logic concepts.

Controls

Left and Right  Movement - Left & Right Arrow keys / A & D

Jump - SPACE / Up / W

Exit Level Doors - E

Pick-Up / Put-Down Boxes - F