Merge pull request #71 from lean-dojo/peiyang

Update demo
lean-dojo · May 21, 2024 · 38449d3 · 38449d3
2 parents 24477d3 + f8a1379
commit 38449d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -5,7 +5,7 @@ Lean Copilot allows large language models (LLMs) to be used in Lean for proof au
 
 
 
-https://github.com/lean-dojo/LeanCopilot/assets/5431913/7742545f-e194-45fa-b744-381bb3441840
+https://github.com/lean-dojo/LeanCopilot/assets/114432581/ee0f56f8-849e-4099-9284-d8092cbd22a3