Discussions

• 1 You must be logged in to vote

  🙏

  Could anyone tell me : Does the quick_start.py use tree search?

  AeonianQuill asked Oct 5, 2024 in Q&A · Unanswered

  

  

  0
• 3 You must be logged in to vote

  🙏

  What Lean code is generating the AST for the parser module?

  zaporter asked Sep 18, 2024 in Q&A · Unanswered

  

  

  0
• 4 You must be logged in to vote

  📣

  Welcome to DeepSeek-Prover-V1.5 Discussions!

  soloice announced Aug 16, 2024 in Announcements

  

  

  0