Geeks
dwrensha
/
lean4-maze
maze game encoded in Lean 4 syntax
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean4-maze Home Page
lean4-maze GitHub
Markdown
Readme
2
Issues
50
Stargazers
2
Watchers
Watchers
dwrensha
Pittsburgh, PA
eemailme