Installation
Install Verum — grab a daily prebuilt dev build for Linux, macOS, or Windows, or build from source.
Hello, World
Your first Verum program — the canonical print, a refinement type, and SMT in action.
Your First Hour
A guided sixty minutes — from install to a verified function, through the Playground's tours and lenses.
Language Tour
Twelve minutes. Twelve features. No fluff. A fast syntax survey —
Project Structure
Anatomy of a Verum project — files, modules, visibility, and workspaces.
Script mode
Single-file Verum scripts via `#!` shebang — top-level statements, exit-code propagation, and the three-mode contract that keeps interpreter, AOT, and script invocations unambiguous.