Stream: Coq users

Topic: vscoq


view this post on Zulip Praveen Kumar (Jan 27 2024 at 21:34):

i was using emacs proof general setup for coq but now i want to use vscode. i installed vscoq but when i am trying to do some basic theorem prooving it doesnot seem to work help !

view this post on Zulip Notification Bot (Jan 27 2024 at 22:52):

This topic was moved to #VsCoq devs & users > vscoq by Karl Palmskog.


Last updated: Jun 22 2024 at 16:02 UTC