Adventures in AI-assisted proof generation
Go to file
2023-03-20 08:16:50 +00:00
.gitignore Initial commit 2023-03-20 08:15:51 +00:00
LICENSE Initial commit 2023-03-20 08:15:51 +00:00
README.md Update 'README.md' 2023-03-20 08:16:50 +00:00

garrettmills/blog-chatgpt-coq

Code and notes from my adventures in AI-assisted proof generation. You can read more about this on my blog.