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: Jun 10 2023 at 23:01 UTC