---
layout: feed_post
title: "Adventures in AI-assisted proof generation"
slug: b4e7bf56-e429-4ec1-8cdf-b39afcd7ab07
date: 2023-03-20 11:00:00
tags: feed
permalink: /feed/2023-03-20-adventures-in-ai-assisted-proof-generation/
feedtags:
  - Blog Post
---
<p>
    Begrudgingly, I recently spent a bit of time playing around with ChatGPT and its prowess with the Coq proof-assistant language.
</p>

<p>
    I chronicle my adventures, and some of my broader thoughts, in <a href="https://garrettmills.dev/blog/2023/03/20/Adventures-in-AI-assisted-proof-generation/" target="_blank">this blog post</a>.
</p>