Documentation coming soon, you can use this version from self-reading.

Consider using test.zig to understand how to use Lean.