Stream: coq-community devs & users

Topic: Zulip case studies

view this post on Zulip 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: Jun 03 2023 at 15:31 UTC