Stream: Teaching [with] Coq

Topic: stream events

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

Public stream created by Pierre Rousselin. Description:

About teaching Coq or using Coq as a tool for teaching.

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

Théo Zimmermann changed the access permissions for this stream from Public to Web-public.

Last updated: Oct 13 2024 at 01:02 UTC