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: Dec 07 2023 at 17:01 UTC