Did anyone try it already? From a distance, I don't see a problem applying this to Coq. I'm somewhat afraid that it will make completing the SF exercises too easy :-)
https://copilot.github.com/
That sounds like fun!
They are looking for beta-testers who use vscode ...
Last updated: Mar 28 2024 at 23:01 UTC