Stream: FMIE

Topic: General discussion


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Paolo Giarrusso (Feb 04 2021 at 10:11):

Is that an invite link?

view this post on Zulip 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.

view this post on Zulip Cody Roux (Feb 04 2021 at 13:37):

Oh crud, sorry.

view this post on Zulip 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

view this post on Zulip 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: Feb 06 2023 at 07:03 UTC