Stream: coq-community devs & users

Topic: useful repo tags


view this post on Zulip Karl Palmskog (Oct 25 2021 at 16:53):

on closer thought, here is what might make sense as repo tags/topics:

view this post on Zulip Karl Palmskog (Oct 30 2021 at 14:02):

I think we should also begin to use:


Last updated: Feb 04 2023 at 02:03 UTC