Web-public stream created by Cyril Cohen. Description:
Discussions around the Coq User and Developer Workshop 2023
Last updated: Jun 10 2023 at 23:01 UTC
Notification Bot (Feb 27 2023 at 12:52): Notification Bot (Feb 27 2023 at 12:52):