Stream: Coq Universe

Topic: stream events


view this post on Zulip Notification Bot (Jun 05 2022 at 15:24):

Web-public stream created by Emilio Jesús Gallego Arias. Description:

Coq Universe aims to provide an unified build of all active Coq Projects


Last updated: Feb 06 2023 at 05:03 UTC