LeanReasoning / .gitattributes

Commit History

9 days ago

  1. Upload complete LeanReasoning model

    Verified signature
    5eb4c15
  2. initial commit

    Verified signature
    20a9fcf