Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Proof Assistants Stack Exchange coordination

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