Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaiyu Yang authored Dec 7, 2023
1 parent 3996156 commit 60d54bb
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,8 @@ At any point in the proof, you can use the `select_premises` tactic to retrieve

#### Running LLMs

Coming soon.
<img width="1123" alt="run_llms" src="https://github.com/lean-dojo/LeanCopilot/assets/5431913/a4e5b84b-a797-4216-a416-2958448aeb07">



## Advanced Usage
Expand Down

0 comments on commit 60d54bb

Please sign in to comment.