Add 'conversation.txt'

Adventures in AI-assisted proof generation
2023-03-20 08:39:19 +00:00 · 2023-03-20 08:15:51 +00:00 · 2023-03-20 08:39:19 +00:00 · 2023-03-20 08:18:56 +00:00 · 2023-03-20 08:15:51 +00:00 · 2023-03-20 08:32:53 +00:00
diff --git a/Garrett Mills b/Garrett Mills
Garrett Mills 51c5c59768 Add 'conversation.txt'		2023-03-20 08:39:19 +00:00
.gitignore	Initial commit	2023-03-20 08:15:51 +00:00
conversation.txt	Add 'conversation.txt'	2023-03-20 08:39:19 +00:00
Factorial.v	Add 'Factorial.v'	2023-03-20 08:18:56 +00:00
LICENSE	Initial commit	2023-03-20 08:15:51 +00:00
README.md	Update 'README.md'	2023-03-20 08:32:53 +00:00