lean-snakebird

Stream: lean4

[Marcus Rossel]

This is just me showing off a thing I made.
If someone needs another example of using Lean 4 to write a DSL à la lean4-maze, here's lean-snakebird.

[Leonardo de Moura]

@Marcus Rossel Awesome. Could you please add the tag lean4 to your repo? Then, it will appear here:
https://github.com/topics/lean4