Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Coq-community templates v2

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: Jun 11 2023 at 00:30 UTC