☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (2)
raylib
Raylib bindings for Lean4
Displaying
1-1
of
1
versions of
raylib
Sort by
Date
Not a part of any version track.
054884a
2 months ago
Released on April 28, 2025 at 2:15:46PM
Commit 054884a builds on its old leanprover/lean4-pr-releases:pr-release-8152
pr-release-8152
3.0 MB
Build archive size: 3007874 bytes.
1
20