| license: mit | |
| Tactic generation model in CTranslate2 format, generated by: | |
| ```bash | |
| ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small | |
| ``` |
| license: mit | |
| Tactic generation model in CTranslate2 format, generated by: | |
| ```bash | |
| ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small | |
| ``` |