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 1 year ago • 0 comments

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

exercism-bot avatar Feb 01 '24 13:02 exercism-bot