Discussions

• 1 You must be logged in to vote

  💬

  Unreviewed Category

  qrdlgit started Apr 28, 2026 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  New benchmark in math arena - ArxivLean

  qrdlgit started Apr 23, 2026 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Tooling for handling lean files en masse

  qrdlgit started Apr 22, 2026 in General

  

  

  1