Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Coq-community templates v2


view this post on Zulip Notification Bot (Feb 17 2022 at 14:31):

This topic was moved to #coq-community devs & users > Coq-community templates v2 by Karl Palmskog.


Last updated: Jan 29 2023 at 15:02 UTC