Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Proof Assistants Stack Exchange coordination


view this post on Zulip Notification Bot (Feb 21 2022 at 14:08):

This topic was moved to #Coq users > Proof Assistants Stack Exchange coordination by Karl Palmskog.


Last updated: Jan 29 2023 at 15:02 UTC