https://model-checking.github.io/kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html (GPT-3 nonfiction, Codex, inner monologue (AI))
https://model-checking.github.io/kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html
View HTML:
/doc/www/model-checking.github.io/5e4af1190e92f2dfee17fdafc02a860bad6dc065.html