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: Jun 25 2024 at 15:02 UTC