Random coq scripts
Some IDE choices:
- noob be easy to start and toy with Coq, CoqIDE https://github.com/coq/coq/releases/tag/V8.10.1
- for emacs, Proof general + coqtop https://proofgeneral.github.io/
- for vim, CoqTail + coqtop https://github.com/whonore/Coqtail
- (To be updated) Vscode has a plugin, which is deprecated. Community is rebuilding it but I didn't test it recently: https://github.com/coq-community/vscoq