LeanReasoning / special_tokens_map.json

Commit History

9 days ago

  1. Upload complete LeanReasoning model

    Verified signature
    5eb4c15