Update README.md
Browse files
README.md
CHANGED
|
@@ -5,5 +5,6 @@ license: mit
|
|
| 5 |
|
| 6 |
Tactic generation model in CTranslate2 format, generated by:
|
| 7 |
```bash
|
|
|
|
| 8 |
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
|
| 9 |
```
|
|
|
|
| 5 |
|
| 6 |
Tactic generation model in CTranslate2 format, generated by:
|
| 7 |
```bash
|
| 8 |
+
pip install ctranslate2
|
| 9 |
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
|
| 10 |
```
|