3 ms·There’s also a nice VS Code extension for Coq I used when taking Adam’s class.by jakear 7y agoThere’s also a nice VS Code extension for Coq I used when taking Adam’s class.