Stream: Trocq users & devs

Topic: stream events

view this post on Zulip Notification Bot (Apr 05 2024 at 14:35):

Web-public stream created by Cyril Cohen. Description:

Stream dedicated to discussions around Trocq https://github.com/coq-community/trocq

Last updated: Oct 13 2024 at 01:02 UTC