between HERE and THERE

A word game in Rocq

How to play

Prerequisite: Rocq

Then clone the repo and follow levels.v.

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

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
_CoqProject		_CoqProject
def.v		def.v
dict.v		dict.v
func.v		func.v
levels.v		levels.v