> A programming language designed for LLMs to write, not humans.
> The compiler verifies the contract via SMT solver.
#formalmethods #smtsolvers
https://veralang.dev/
A programming language where verification is a first-class citizen. Mandatory contracts, algebraic effects, typed slot references. Compiles to WebAssembly — runs at the CLI or in any browser.
meartur