Stream: Miscellaneous

Topic: Github copilot


view this post on Zulip 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/

view this post on Zulip Matthieu Sozeau (Jun 30 2021 at 08:24):

That sounds like fun!

view this post on Zulip Bas Spitters (Jun 30 2021 at 08:33):

They are looking for beta-testers who use vscode ...


Last updated: Aug 14 2022 at 12:03 UTC