LeanReasoning / README.md

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