Stream: coq-community devs & users

Topic: Zulip case students

Bas Spitters (Aug 13 2022 at 13:51):

I stumbled upon this, in case anyone feels like writing a blurb on Coq:
https://zulip.com/case-studies/lean/

Last updated: Feb 05 2023 at 13:02 UTC