JetBrains-Research / coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.

Geek Repo

Github PK Tool