Stream: Coq users

Topic: Coq + VST


view this post on Zulip Thomas Homola (Mar 04 2021 at 00:01):

Hello,
I am trying to learn how to use Coq+CoqIDE together with VST. I have wanted to ask, if this is a good place to ask about both of those, or just the Coq. If not, does anyone know if similar type of communication platform exists for VST ? If yes, I have some problems I would describe in more detail later, if they would be relevant for this place. Anyway, thanks in advance !

view this post on Zulip Michael Soegtrop (Mar 04 2021 at 09:27):

There is a mailing list (https://lists.cs.princeton.edu/mailman/listinfo/vst-user). I will ask Andrew, if he wouldn't like to start a stream here - I think it would make sense.

view this post on Zulip Thomas Homola (Mar 04 2021 at 13:30):

That would be honestly great, thanks for sharing the mailing list, I have already joined. If there will be any feedback regarding new stream, please do not hesitate to share ! Thank you.


Last updated: Jan 29 2023 at 06:02 UTC