Lean4 Maze

maze game encoded in Lean 4 syntax