Design Principles
The six principles that shape every decision in Verum.
Semantic Honesty
Types name what values mean, not how they are stored.
Gradual Verification
The nine-strategy ladder from runtime assertions to cross-validated proof certificates.
Comparisons
How Verum positions against Rust, OCaml, Swift, Idris, Dafny, and F*.