GitHub repository: K-dizzled/coqpilot
Primary language: TypeScript
Created: 2023-08-22T16:27:53Z
Description: VSCode extension that is designed to help automate writing of Coq proofs.