lean4-maze
lean4-maze copied to clipboard
Published
20 hours ago •
dwrensha
dwrensha
maze game encoded in Lean 4 syntax
Results
1
lean4-maze issues
Sort by
recently updated
recently updated
newest added
Hello! I was playing around a bit after today's talk and tried to bored-ly solve the long maze just to pass some time. I'm not sure if there's anything to...
