Documentation coming soon, you can use this version from self-reading. Consider using test.zig to understand how to use Lean.