ANDRVV/Lean
⚡ Blazing fast scientific computing library for Zig
Documentation coming soon, you can use this version from self-reading.
Consider using test.zig to understand how to use Lean.
test.zig