Update README.md

lean-dojo · Dec 12, 2023 · b569112 · b569112
1 parent 8d7d51b
commit b569112
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,11 @@ 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
+
+
+
+
 ## Table of Contents
 
 1. [Requirements](#requirements)