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: Apr 20 2024 at 05:01 UTC