Version 0.4 (draft). Status: design complete for a v1 compiler; open items listed in section 15. Changes from 0.1 are recorded in Appendix B, from 0.2 in Appendix C, and from 0.3 in Appendix D.
Prova is a programming language designed for code generation by large language models. Its founding principle:
A Prova program is a claim plus its evidence. The compiler rejects claims without evidence.