Stream: Announcements

Topic: new streams


view this post on Zulip Notification Bot (Feb 02 2021 at 18:51):

Cody Roux created a new stream #FMIE.

view this post on Zulip Notification Bot (May 14 2021 at 11:49):

Gaëtan Gilbert created a new stream #test.

view this post on Zulip Notification Bot (Jun 02 2021 at 05:42):

Théo Zimmermann created a new stream #Nix toolbox devs & users.

view this post on Zulip Notification Bot (Jun 28 2021 at 09:07):

Christian Doczkal created a new stream #Coq Workshop 2021.

view this post on Zulip Notification Bot (Aug 17 2021 at 21:22):

sameer gupta created a new stream #compare notes on coq or related research papers.

view this post on Zulip Notification Bot (Sep 23 2021 at 12:49):

Emilio Jesús Gallego Arias created a new stream #PyCoq.

view this post on Zulip Notification Bot (Oct 17 2021 at 22:03):

Erik Martin-Dorel created a new stream #Proof General users.

view this post on Zulip Notification Bot (Oct 17 2021 at 22:04):

Erik Martin-Dorel created a new stream #Proof General devs.

view this post on Zulip Notification Bot (Jan 31 2022 at 13:19):

Ali Caglayan created a new stream #Coq Hackathon and Working Group, Winter 2022.

view this post on Zulip Notification Bot (Jun 05 2022 at 15:24):

Emilio Jesús Gallego Arias created a new stream #Coq Universe.

view this post on Zulip Notification Bot (Jul 01 2022 at 10:27):

Emilio Jesús Gallego Arias created a new stream #coq-lsp.

view this post on Zulip Notification Bot (Sep 01 2022 at 15:38):

Emilio Jesús Gallego Arias created a new stream #Sabancı Coq Course - Sept 2022.

view this post on Zulip Notification Bot (Sep 14 2022 at 15:23):

Théo Zimmermann created a new stream #Hydras & Co. universe.

view this post on Zulip Notification Bot (Feb 27 2023 at 12:52):

Cyril Cohen created a new stream #CUDW 2023.

view this post on Zulip Notification Bot (Mar 01 2023 at 13:05):

Stefan Haan created a new stream ##coq on irc.libera.chat.

view this post on Zulip Notification Bot (Mar 01 2023 at 14:53):

Bas Spitters created a new stream #ConCert.

view this post on Zulip Notification Bot (Apr 13 2023 at 12:02):

Bas Spitters created a new stream #SSProve.

view this post on Zulip Notification Bot (Jul 04 2023 at 09:01):

Yannick Zakowski created a new stream #Interaction Trees.

view this post on Zulip Notification Bot (Sep 12 2023 at 14:18):

Pierre Rousselin created a new stream #Teaching [with] Coq.

view this post on Zulip Notification Bot (Jan 29 2024 at 21:34):

Hugo Herbelin created a new stream #Coq Notation system.


Last updated: Feb 27 2024 at 23:01 UTC