lean-graphics

This is an experiment in writing GUI programs using Lean4.

Prior art

• Lean4 SDL3 bindings: https://github.com/ValorZard/lean-sdl3 and https://github.com/ValorZard/lean-sdl-test
• Doom-like game: https://github.com/oOo0oOo/LeanDoomed