Update README.md
Browse files
README.md
CHANGED
|
@@ -1,3 +1,19 @@
|
|
| 1 |
---
|
| 2 |
license: mit
|
| 3 |
---
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
---
|
| 2 |
license: mit
|
| 3 |
---
|
| 4 |
+
|
| 5 |
+
Default language model for `llmstep: [L]LM proofstep suggestions in Lean`: \
|
| 6 |
+
https://github.com/wellecks/llmstep
|
| 7 |
+
|
| 8 |
+
Please see the repository for details.
|
| 9 |
+
|
| 10 |
+
```
|
| 11 |
+
@misc{llmstep,
|
| 12 |
+
author = {Sean Welleck},
|
| 13 |
+
title = {llmstep: LLM proofstep suggestions in Lean},
|
| 14 |
+
year = {2023},
|
| 15 |
+
publisher = {GitHub},
|
| 16 |
+
journal = {GitHub repository},
|
| 17 |
+
howpublished = {\url{https://github.com/wellecks/llmstep}},
|
| 18 |
+
}
|
| 19 |
+
```
|