lean-dojo LeanCopilot Ideas · Discussions · GitHub

DNNL installed but still `No BLAS library found`
Q&A Youjack

Sort by: Latest activity

Categories

Ideas Discussions

Share ideas for new features

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
You must be logged in to vote

Make it a more Copilot-like experience

BoltonBailey started Dec 13, 2023 in Ideas

1
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