Skip to main content

Docs Language Standard Library Architecture Reference Blog

Standard Library Overview
Core
I/O & System
Concurrency
Network
Compute
Meta & Proof
Context & Security
Observability
- tracing
- metrics
Foundations

Observability

Observability

📄️tracing

Distributed tracing (OpenTelemetry-compatible)

📄️metrics

Prometheus-compatible metrics registry

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.