Discussions

• 1 You must be logged in to vote

  💬

  Trying to use Lean Copilot to develop the std library but hitting a build dependency cycle

  tenedor started Feb 2, 2024 in General

  

  

  

  

  14
• 0 You must be logged in to vote

  💬

  unknown identifier 'search_proof' after successfully imported LeanCopilot

  zoryzhang started Dec 30, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  DNNL installed but still No BLAS library found

  Youjack asked Nov 24, 2023 in Q&A · Closed · Answered

  

  

  5
• 4 You must be logged in to vote

  💡

  Can we host this and create a VS Code Extension?

  Zaffer started Dec 20, 2023 in Ideas

  

  

  0
• 2 You must be logged in to vote

  💡

  Make it a more Copilot-like experience

  BoltonBailey started Dec 13, 2023 in Ideas

  

  

  0