coqpilot
coqpilot copied to clipboard
Published
20 hours ago •
JetBrains-Research
JetBrains-Research
VSCode extension that is designed to help automate writing of Coq proofs.
Results
3
coqpilot issues
Sort by
recently updated
recently updated
newest added
Would it be possible to add neovim support for this? I'd be interested in helping if it's not that difficult.
enhancement: UI
Metadata
29
Stars
2
Forks
Watchers
Owner
Metadata
VSCode extension that is designed to help automate writing of Coq proofs.