Discussions

• 2 You must be logged in to vote

  💬

  Issue with installation

  rshlyakh started Jan 19, 2026 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Using a GPU for LeanCopilot

  realharryhero asked May 26, 2024 in Q&A · Closed · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Installed Lean Copilot correctly, but upon import receive error message that Lean Copilot can't be found in the search path

  melancholyaeon started Jul 19, 2025 in General

  

  

  7
• 1 You must be logged in to vote

  🙏

  Recommended specs?

  madvorak asked Jan 13, 2025 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Despite default models have already been downloaded locally, why doesn't it work without network connection?

  cadake asked Jul 21, 2024 in Q&A · Closed · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Unable to Locate 'lakefile.lean'

  anonymous-user803 asked Nov 13, 2024 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  process 'git' exited with code 128

  AlbertJ-314 asked Jul 24, 2024 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  💡

  Is it possible to bring self model via vllm/ollama/openai api

  objecti0n started Jun 28, 2024 in Ideas · Closed

  

  

  

  

  6
• 1 You must be logged in to vote

  🙏

  Building Lean Copilot on a GPU enabled machine

  vanessalama09 asked Aug 1, 2024 in Q&A · Closed · Answered

  

  

  1
• 2 You must be logged in to vote

  💡

  Make it a more Copilot-like experience

  BoltonBailey started Dec 13, 2023 in Ideas · Closed

  

  

  1
• 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
• 5 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