Stream: coq-community devs & users

Topic: useful repo tags

Karl Palmskog (Oct 25 2021 at 16:53):

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

• docker-coq-action
• nix-action
• coq-nix-toolbox

Karl Palmskog (Oct 30 2021 at 14:02):

I think we should also begin to use:

• coq-platform
• coq-ci
  ... to track projects that matter to people upstream

Last updated: Feb 04 2023 at 02:03 UTC