13bce5a 9ac8e70
1
2
3
4
5
6
7
8
9
--- 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 ```
