Stream: Announcements

Topic: new streams

Notification Bot (Feb 02 2021 at 18:51):

Cody Roux created a new stream #FMIE.

Notification Bot (May 14 2021 at 11:49):

Gaëtan Gilbert created a new stream #test.

Notification Bot (Jun 02 2021 at 05:42):

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

Notification Bot (Jun 28 2021 at 09:07):

Christian Doczkal created a new stream #Coq Workshop 2021.

Notification Bot (Aug 17 2021 at 21:22):

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

Notification Bot (Sep 23 2021 at 12:49):

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

Notification Bot (Oct 17 2021 at 22:03):

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

Notification Bot (Oct 17 2021 at 22:04):

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

Notification Bot (Jan 31 2022 at 13:19):

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

Notification Bot (Jun 05 2022 at 15:24):

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

Notification Bot (Jul 01 2022 at 10:27):

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

Notification Bot (Sep 01 2022 at 15:38):

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

Notification Bot (Sep 14 2022 at 15:23):

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

Notification Bot (Feb 27 2023 at 12:52):

Cyril Cohen created a new stream #CUDW 2023.

Notification Bot (Mar 01 2023 at 13:05):

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

Notification Bot (Mar 01 2023 at 14:53):

Bas Spitters created a new stream #ConCert.

Notification Bot (Apr 13 2023 at 12:02):

Bas Spitters created a new stream #SSProve.

Notification Bot (Jul 04 2023 at 09:01):

Yannick Zakowski created a new stream #Interaction Trees.

Notification Bot (Sep 12 2023 at 14:18):

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

Notification Bot (Jan 29 2024 at 21:34):

Hugo Herbelin created a new stream #Coq Notation system.

Notification Bot (Apr 03 2024 at 21:55):

Beta Ziliani created a new stream #Jobs.

Notification Bot (Apr 05 2024 at 14:35):

Cyril Cohen created a new stream #Trocq users & devs.

Notification Bot (Apr 12 2024 at 14:18):

Pierre-Marie Pédrot created a new stream #CUDW 2024.

Notification Bot (May 13 2024 at 23:56):

Thomas Lamiaux created a new stream #Platform-docs.

Last updated: Oct 13 2024 at 01:02 UTC