Garrett Mills

Blog

Home
Main Site
Archive
Tags
Feeds

#chatgpt

2023-03-20

Adventures in AI-assisted proof generation

Garrett Mills

copyright © 2024

home
about me
what I'm working on
get in touch
latest updates

bookmarks
blog
my code
technical info
random theme