Cody Roux (Feb 02 2021 at 18:53): Cody Roux (Feb 02 2021 at 18:53):Hello all! Feel free to ask questions here, as there are many experts to answer your questions. I'll be lurking around as well.
Cody Roux (Feb 03 2021 at 22:27):@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
Paolo Giarrusso (Feb 04 2021 at 10:11):Is that an invite link?
Paolo Giarrusso (Feb 04 2021 at 12:46):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.
Cody Roux (Feb 04 2021 at 13:37):Oh crud, sorry.
Cody Roux (Feb 04 2021 at 13:38):Here is a link: https://join.slack.com/t/fmie2021/shared_invite/zt-krqnienn-ys~Hfg5aE_~AJFqEpDE1vA
Cody Roux (Mar 16 2021 at 21:17):We've got the videos and solutions up online! https://fmie2021.github.io/agenda.html
Last updated: May 31 2023 at 04:01 UTC