GitHub repository: Anderssorby/SDL.lean
Primary language: Lean
Created: 2021-12-30T10:22:34Z
Description: SDL2 bindings for lean