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: Sep 09 2024 at 04:02 UTC