Web-public stream created by Cyril Cohen. Description:
Discussions around the Coq User and Developer Workshop 2023
Théo Zimmermann changed the description for this stream.
Discussions around the Coq User and Developer Workshop 2023
Discussions around the Coq User and Developer Workshop 2023. Wiki page: https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2023
Last updated: Mar 28 2024 at 21:01 UTC