between HERE and THERE

A word game in Rocq

How to play

Prerequisite: Rocq

Then clone the repo and follow levels.v.

Features

Over 100k lines of Rocq code
Formally verified gameplay, guaranteed bug free
Thought-provoking themes and level design
Play in your favorite Rocq editor (So your advisor and colleagues can't tell you are gaming!)

For PLSE ART/GAME JAM 2024