Slim205
/

Lean_prover_v1

Model card Files Files and versions

Lean_prover_v1 / tokenizer.json

Slim205's picture

Upload tokenizer

b332757 verified 5 months ago

history contribute delete

7.5 MB

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