Vera: a programming language designed for machines to write

Why it matters

This signals a broader shift in vera. The real question is whether programming moves the needle for practitioners.