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 :-)
That sounds like fun!
They are looking for beta-testers who use vscode ...
Last updated: Jun 01 2023 at 12:01 UTC