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.

Last updated: May 31 2023 at 03:30 UTC