Release updates and other announcements about and around Verum Axiom that we think will be useful to everyone.

All about Verum Axiom (formerly Verum Dezyne). It includes links to documentation and tutorials.

AI coding agents can write Verum Axiom models fast. With Axiom AI MCP, they can also check, verify and simulate them, so you get models that are proven, not just plausible.

Discussions and publications about using and applying Verum Axiom.

Discuss the ins and outs of code generation. Supported languages. Language packs.

Identified issues and discussion.