On 2023-10-24, Thomas Passin via Python-list <python-list@python.org> wrote:
> Something less ambitious than a full proof of correctness of an > arbitrary program can sometimes be achieved. The programming team > for the Apollo moon mission developed a system which, if you would > write your requirements in a certain way, could generate correct C > code for them. Er, what? C didnt' exist until after the Apollo program was done. FORTRAN, perhaps? -- https://mail.python.org/mailman/listinfo/python-list
