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 !
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.
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