haielab
/

STP_model_Lean_0320-counterexamples-base

Model card Files Files and versions

STP_model_Lean_0320-counterexamples-base / tokenizer.json

Commit History

Upload tokenizer

1620e6e
verified

haielab commited on Jun 11, 2025