Coq stream

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

The Coq Proof Assistant