Stream: Hydras & Co. universe

Topic: stream events

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

Web-public stream created by Théo Zimmermann. Description:

Discussion related to the Hydras & Co. universe of Coq projects, including the Coq-community repositories hydra-battles, goedel, gaia, pocklington

view this post on Zulip Notification Bot (Sep 28 2022 at 18:18):

Théo Zimmermann changed the description for this stream.

Discussion related to the Hydras & Co. universe of Coq projects, including the Coq-community repositories hydra-battles, goedel, gaia, pocklington

Discussion related to the Hydras & Co. universe of Coq projects, including hydra-battles, goedel, gaia & pocklington

view this post on Zulip Notification Bot (Sep 28 2022 at 18:19):

Théo Zimmermann changed the description for this stream.

Discussion related to the Hydras & Co. universe of Coq projects, including hydra-battles, goedel, gaia & pocklington

About the Hydras & Co. universe of Coq projects, including hydra-battles, goedel, gaia & pocklington

view this post on Zulip Théo Zimmermann (Sep 28 2022 at 18:19):

(shortening to get the description to fit on screen)

Last updated: Jun 11 2023 at 00:30 UTC