GitHub repository: kbuzzard/maze-game
Primary language: Lean
Created: 2020-08-27T10:18:59Z
Description: An abstraction of a maze.