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

Tags

D

design1

L

llm1

M

memory1

P

philosophy1

T

types1

V

verification1

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.