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
release: v2.2.0+0.1.8+8.19
#25
Closed
K-dizzled
closed
5 months ago