13bce5a
9ac8e70
5e4d813
9ac8e70
|
|
---
license: mit
---
Tactic generation model in CTranslate2 format, generated by:
```bash
pip install ctranslate2
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
``` |
