Overview

This page is a placeholder. Content will be added as the implementation matures.

Planned topics

What Verity is and what it is not
Supported networks and devnet roadmap
Prerequisites (Lean 4 toolchain, Rust toolchain)
First-run walkthrough