GitHub repository: paulcadman/raylean
Description: Lean4 bindings for raylib