Can you update this library?

[Filipp-Druan]

Hello.
I'd like to use this library, but it's a bit outdated. Could you please update it slightly for the latest version of Lean?

I'll certainly try to do it myself, but I'm not sure I'll succeed.

I'd be very grateful!

[KislyjKisel]

I do intend to, but I don't have much time right now and I want to do a rewrite (cleanup, use Alloy etc). Some progress is already here: I've updated Pod and redid "game" vector math (in a separate repo). I'll start with Raylib proper when I'll finish "LowDimLinAlg" and implement the "api meta checklists" idea I had in mind (or abandon it).

For now I recommend checking out raylean, which does support newer Lean versions, and sdl3.