issues
search
JetBrains-Research
/
coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
GNU Lesser General Public License v2.1
47
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release v2.3.0+0.1.9+8.19
#44
K-dizzled
closed
5 days ago
0
New benchmarking framework, first release 🌟
#43
GlebSolovev
closed
1 week ago
0
Fix bug with dublication of the output channel
#42
K-dizzled
closed
2 weeks ago
0
GPT-4o-mini would be a better default model
#41
jasonrute
closed
1 month ago
1
Wrong coq-lsp pin
#40
jasonrute
closed
1 month ago
1
Release v2.2.7+0.1.8+8.19
#39
K-dizzled
closed
1 month ago
0
Release v2.2.6+0.1.8+8.19
#38
K-dizzled
closed
1 month ago
0
Properly handle absence of the Coq-LSP in UI and allow modifying its standard location
#37
K-dizzled
closed
1 month ago
0
Release v2.2.5+0.1.8+8.19
#36
K-dizzled
closed
3 months ago
0
Update benchmarking to allow external services, configure parameters for them
#35
K-dizzled
closed
3 months ago
0
Updates to README and Benchmarking reports
#34
K-dizzled
closed
3 months ago
0
Release v2.2.4+0.1.8+8.19
#33
K-dizzled
closed
4 months ago
0
release: v2.2.3
#32
K-dizzled
closed
4 months ago
0
Update README with comments on how to use tactics from Tactitian or CoqHammer
#31
K-dizzled
closed
4 months ago
0
Add workflow to publish the README as a github page compiled via Jekyll
#30
K-dizzled
closed
4 months ago
0
v2.2.2 version: significant CI rework
#29
GlebSolovev
closed
5 months ago
0
v2.2.2 version: significant CI rework
#28
GlebSolovev
closed
5 months ago
0
Update the branch with refactoring command implementation
#27
K-dizzled
closed
4 months ago
0
Update the ai-agents server branch with 2.2.0 release
#26
K-dizzled
closed
4 months ago
0
release: v2.2.0+0.1.8+8.19
#25
K-dizzled
closed
5 months ago
0
Llm services improvement
#24
khram2003
closed
5 months ago
0
Major LLM services and UI improvement
#23
GlebSolovev
closed
5 months ago
0
Llm services improvement
#22
K-dizzled
closed
5 months ago
0
release: v2.1.0+0.1.8+8.19
#21
K-dizzled
closed
5 months ago
0
Benchmarking system implemented
#20
K-dizzled
closed
5 months ago
0
Fix benchmarks, fix bugs, add imm
#19
K-dizzled
closed
5 months ago
0
Figure out how to properly use nix-env + minors
#18
K-dizzled
closed
6 months ago
0
Update benchmark branch
#17
GlebSolovev
closed
6 months ago
0
release: v2.0.0
#16
K-dizzled
closed
7 months ago
0
release: v2.0.0+0.1.8+8.19
#15
K-dizzled
closed
7 months ago
0
Multiround LLM communication implementation
#14
K-dizzled
closed
7 months ago
0
Add support of lmStudio as an llm service
#13
K-dizzled
closed
7 months ago
0
Add 27 state of the art tests, make mocha less mocha
#12
K-dizzled
closed
7 months ago
0
v1.9.0
#11
K-dizzled
closed
8 months ago
0
Any insight into API cost?
#10
adrianleh
closed
9 months ago
2
Outline is redundant
#9
Alizter
closed
9 months ago
9
Grazie support
#8
K-dizzled
closed
10 months ago
0
Neovim support?
#7
DieracDelta
opened
10 months ago
1
Sequential LLM fetch
#6
K-dizzled
closed
10 months ago
0
UI/UX improvements
#5
K-dizzled
closed
11 months ago
0
Single tactic solver
#4
K-dizzled
closed
11 months ago
0
Solve all admits
#3
K-dizzled
closed
11 months ago
0
Refactor+ci+tests
#2
K-dizzled
closed
11 months ago
0
Strengthen communication with coq-lsp, rewrite base logic.
#1
K-dizzled
closed
1 year ago
0