Stream: CUDW 2020

Topic: Coq debugging in vscode

view this post on Zulip Fabian Kunze (Nov 30 2020 at 09:43):

Is someone interested in a guide of how I set up vscode to allow debugging of ocaml/coq with pretty printers?
Does someone else have an setup of this working?

view this post on Zulip Matthieu Sozeau (Nov 30 2020 at 09:46):

I'd be interested Fabian

Last updated: May 24 2024 at 22:02 UTC