Bas Spitters (Jun 30 2021 at 07:59): Bas Spitters (Jun 30 2021 at 07:59):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/
Matthieu Sozeau (Jun 30 2021 at 08:24):That sounds like fun!
Bas Spitters (Jun 30 2021 at 08:33):They are looking for beta-testers who use vscode ...
Last updated: Dec 07 2023 at 17:01 UTC