coq icon indicating copy to clipboard operation
coq copied to clipboard

Published 20 hours ago • verified publisher icon exercism

🤖 Sync org-wide files to upstream repo

Open exercism-bot opened this issue 5 months ago • 0 comments

ℹ More info: https://github.com/exercism/org-wide-files/commit/fc1613760f6670850e29a593bbb5c9669edc23bd 👁 Tracking issue: https://github.com/exercism/org-wide-files/issues/394

exercism-bot avatar Sep 04 '24 12:09 exercism-bot