# blog-chatgpt-coq

Adventures in AI-assisted proof generation