Skip to main content

Docs Language Standard Library Architecture Reference Blog

Posts

2026

Verum, examined — a systems language for an age when humans write less code

Authors

Verum Team
1
Language Authors

Learn

Introduction
Installation
Language Tour
Philosophy

Language

Syntax
Type System
Refinement Types
Memory Model
Context System

Advanced

Verification
SMT Routing
Dependent Types
Cubical & HoTT
Metaprogramming

Tools

CLI
LSP
Playbook
Cog Packages

More

Blog
GitHub
Grammar (EBNF)
Glossary

Copyright © 2026 Verum Language Project. Built with Docusaurus.