VSCode extension that is designed to help automate writing of Coq proofs. - View it on GitHub