Vera — A language designed for machines to writeA programming language designed for LLMs to write, not humans. From the Latin veritas — truth. In Vera, verification is a first-class citizen. Why? Programming languages have always co-evolved with their users. Assembly emerged from hardware constraints. C from operating systems. Python from productivity needs. If models become the primary authors of code, it follows that languages should adapt to
