ACM:3691620.3695357 · 1 repo reference this paper in their README
JetBrains-Research/coqpilot
131
·
VSCode extension that is designed to help automate writing of Coq proofs.
