Thomas Homola (Mar 04 2021 at 00:01): 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 !
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.
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: Sep 23 2023 at 08:01 UTC