# Lean SDL2 Bindings Example

Playing around with SDL2 bindings in Lean4 to learn about the FFI.

Simple real-time Doom-style raycasting engine in Lean4:

![Screenshot](screenshots/screenshot1.png)

## Run

This is just an experiment and the build is currently specific to my system (Ubuntu 24.04.2).

**You need to install dependencies and adjust paths in lakefile.lean!**

```bash
lake exe LeanDoomed
```

## License

MIT