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