Chelis guide

Chelis is a numerical computing language for code that agents write and people supervise. Tensors carry named dimensions and precision in their type, and a proof stack checks the properties you state.

Chelis programs are usually written in Surf. Deep is the canonical representation used by the compiler and tooling; you can inspect it with chelis deep.

Start here

1. Install the Chelis toolchain.
2. Write and run your first program.
3. Explore examples from a source checkout.

Keep learning

• CLI workflow covers formatting, checking, evaluation, and builds.
• Type system basics introduces tensor shapes and precision.
• Effects explains host I/O, device regions, and random keys.
• Checking properties covers chelis prove and how to read its results.
• Reef and packages covers package projects.
• Reference map points to detailed syntax and semantics.