LeanReasoning / EXPORT.json

Commit History

9 days ago

  1. Upload complete LeanReasoning model

    Verified signature
    5eb4c15