/lean4-maze

maze game encoded in Lean 4 syntax

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers