Hello all! Feel free to ask questions here, as there are many experts to answer your questions. I'll be lurking around as well.
@all I'd like to add, to the Coq community at large, if you're up for a casual chat with some Formal Method outsiders and possibly some simple questions about Coq, feel free to join tomorrow from 9-12 EST here: https://app.slack.com/client/T01J8L5C44E/C01JMQQBV7E
Is that an invite link?
sorry; what I meant is “It doesn’t seem to work, and it asks the slack team name, so it’s probably not the right link.
Oh crud, sorry.
Here is a link: https://join.slack.com/t/fmie2021/shared_invite/zt-krqnienn-ys~Hfg5aE_~AJFqEpDE1vA
We've got the videos and solutions up online! https://fmie2021.github.io/agenda.html
Last updated: May 31 2023 at 04:01 UTC