issues
search
lean-dojo
/
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
https://leandojo.org
MIT License
999
stars
92
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fail to use "suggest_tactics"
#134
HanksonYe
opened
2 days ago
1
I have a "build failed" problem
#133
yuchen814
opened
2 days ago
1
Any hope for AMD/Intel/etc. owners?
#132
dymil
opened
2 days ago
0
can not lake build on windows wsl- a problem with the modelmodel
#130
zhiang0226
opened
2 weeks ago
1
Bump to latest version of Lean and fix errors introduced by breaking changes
#129
Peiyang-Song
opened
2 weeks ago
0
build.sh fails undefined symbol: initialize_Lean_Replay
#128
robomotic
closed
1 month ago
6
Docker build fails undefined symbol: initialize_Lean_Replay
#127
robomotic
opened
1 month ago
4
LeanCopilot + MathLib
#126
math-ai-meetup
opened
1 month ago
0
Init LeanCopilot` failed / Building LeanCopilot.Tactics issue
#125
alexanderlhicks
closed
2 weeks ago
4
how to use claude 3.5 sonnet as out of the box as possible?
#124
alok
opened
2 months ago
2
Bump to Lean v4.11.0 with deps
#123
Peiyang-Song
closed
2 months ago
0
Support external models
#122
Peiyang-Song
closed
2 months ago
0
Bump to Lean v4.11.0-rc3 with dependencies
#121
Peiyang-Song
closed
2 months ago
0
Bump to Lean v4.11.0-rc2 with dependencies
#120
Peiyang-Song
closed
2 months ago
0
Fix CI
#119
Peiyang-Song
closed
2 months ago
2
Add model manual download instructions
#118
Peiyang-Song
closed
3 months ago
0
i still cannot download on intel mac
#117
jaredgreen2
opened
3 months ago
35
Bump to Lean v4.11.0-rc1
#116
Peiyang-Song
closed
3 months ago
0
Problem with the cloud release mechanism after recent `Lake` updates
#115
Peiyang-Song
opened
3 months ago
1
Fix string UTF-8 misformatting PANIC
#114
Peiyang-Song
closed
3 months ago
0
PANIC when running `ModelAPIs.lean`
#113
Peiyang-Song
closed
3 months ago
1
Bump to Lean v4.10.0
#112
Peiyang-Song
closed
3 months ago
0
CI fails when testing external examples
#111
Peiyang-Song
closed
2 months ago
1
Bump to Lean v4.10.0-rc2
#110
Peiyang-Song
closed
3 months ago
0
Fix CMake flags
#109
Peiyang-Song
closed
3 months ago
0
Bump to recent releases of Lean
#108
Peiyang-Song
closed
3 months ago
4
Incorporate recent commits
#107
Peiyang-Song
closed
3 months ago
0
FIX: Build succeeds and features succeed without lean server crash
#106
Adarsh321123
closed
3 months ago
11
Building LeanCopilot package to use GPU
#104
vanessalama09
closed
3 months ago
0
process 'git' exited with code 128
#103
AlbertJ-314
closed
3 months ago
5
unknown package "LeanCopilot"
#100
Peterjsr
closed
3 months ago
2
Lean server crashes after LeanCopilot is used in more advanced topics
#99
scherblu
closed
3 months ago
7
bring back intel mac support
#98
jaredgreen2
closed
3 months ago
8
support external models: vllm huggingface openai
#97
hsz0403
closed
2 months ago
16
minor fix for doc format in premise selection
#95
Peiyang-Song
closed
4 months ago
0
Bump to Lean v4.10.0-rc1
#94
Peiyang-Song
closed
4 months ago
0
Bump to Lean v4.9.0
#93
Peiyang-Song
closed
4 months ago
0
Fix minor bug: tokenizer typo in models.py
#92
Peiyang-Song
closed
4 months ago
0
How to check each tactic candidate?
#91
XiaoyangLiu-sjtu
closed
4 months ago
1
Is it possible to bring self model via vllm/ollama/openai api
#90
objecti0n
closed
4 months ago
5
Bump to Lean v4.9.0-rc3 with dependencies
#89
Peiyang-Song
closed
5 months ago
0
Bump to Lean v4.9.0-rc2 with dependencies
#88
Peiyang-Song
closed
5 months ago
0
Bump to Lean v4.9.0-rc1 with dependencies
#87
Peiyang-Song
closed
5 months ago
0
Bump with Lean v4.8.0
#86
Peiyang-Song
closed
5 months ago
0
unknown package
#85
jaredgreen2
closed
4 months ago
10
Bump with Lean
#84
Peiyang-Song
closed
5 months ago
4
uncaught exception: process 'git' exited with code 128
#83
XiaoyangLiu-sjtu
closed
5 months ago
0
Update readme & examples
#82
Peiyang-Song
closed
5 months ago
0
Fix CI bug
#81
Peiyang-Song
closed
5 months ago
0
CI fails due to a model downloading error
#80
Peiyang-Song
closed
5 months ago
0
Next