coqpilot icon indicating copy to clipboard operation
coqpilot copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains-Research

Neovim support?

Open DieracDelta opened this issue 6 months ago • 1 comments

Would it be possible to add neovim support for this? I'd be interested in helping if it's not that difficult.

DieracDelta avatar Dec 05 '23 02:12 DieracDelta