Skip to main content

Docs Language Standard Library Architecture Reference Blog

Introduction
Getting Started
Philosophy
Verification
Tooling
Tutorials
Cookbook
Migrating
Guides
Community
- Contributing
- Code of Conduct
Roadmap
Changelog

Community

Community

📄️Contributing

How to propose changes, open issues, and submit pull requests.

📄️Code of Conduct

Standards for participating in the Verum community.

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.