Slim205
/

Lean_prover_v1

Model card Files Files and versions

Lean_prover_v1 / tokenizer.json

Commit History

Upload tokenizer

b332757
verified

Slim205 commited on Aug 28, 2025