Slim205
/

Lean-conjecturer

Model card Files Files and versions

Lean-conjecturer / tokenizer.json

Slim205's picture

Upload tokenizer

300f1a6 verified 5 months ago

history contribute delete

7.5 MB

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