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: Oct 16 2021 at 07:02 UTC