10 lines
257 B
Markdown
10 lines
257 B
Markdown
|
# 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
|