Merge pull request #71 from lean-dojo/peiyang

Peiyang-Song · web-flow · commit 38449d35a331 · 2024-05-20T18:11:23.000-07:00
Update demo
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
 
 
 

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ Lean Copilot allows large language models (LLMs) to be used in Lean for proof au`
`5`	`5`
`6`	`6`
`7`	`7`
`8`		`-https://github.com/lean-dojo/LeanCopilot/assets/5431913/7742545f-e194-45fa-b744-381bb3441840`
	`8`	`+https://github.com/lean-dojo/LeanCopilot/assets/114432581/ee0f56f8-849e-4099-9284-d8092cbd22a3`
`9`	`9`
`10`	`10`
`11`	`11`