Commit History

9 days ago

  1. Apply LeanReasoning release licence

    Verified signature
    7faa1ad
  2. Add LeanReasoning results and usage documentation

    Verified signature
    d69b763
  3. Upload complete LeanReasoning model

    Verified signature
    5eb4c15
  4. initial commit

    Verified signature
    20a9fcf