Installation
Install Verum on Linux or macOS — download, verify, and set up your editor.
Hello, World
Your first Verum program — the canonical print, a refinement type, and SMT in action.
Language Tour
Ten minutes. Nine features. No fluff.
Project Structure
Anatomy of a Verum project — files, modules, visibility, and workspaces.