Slim205
/

Lean-conjecturer

Model card Files Files and versions

Lean-conjecturer / tokenizer.json

Slim205's picture

Upload tokenizer

300f1a6 verified 11 months ago

History Contribute Delete

7.5 MB

File too large to display, you can check the raw version instead.