GitHub - jasisz/aver: Aver is a programming language for auditable AI-written code: verify in source, deploy with Rust, prove with Lean/Dafny · GitHub
github.com · 30 Mar 2026
Interesting idea, but would it make a material improvement over and above languages that are heavily represented in the training data