coq
coq copied to clipboard
exercism
Exercism exercises in Coq.
ā¹ More info: https://github.com/exercism/org-wide-files/commit/45ce43faa93a84c84f407748aae3aa028383ec77 š Tracking issue: https://github.com/exercism/org-wide-files/issues/354
ā¹ More info: https://github.com/exercism/org-wide-files/commit/bfc6fe525e057a43f41e4fd83dfac00569d14086 š Tracking issue: https://github.com/exercism/org-wide-files/issues/330
ā¹ More info: https://github.com/exercism/org-wide-files/commit/42a096591ac4a748b6c4daf402d46c7eed640a1a š Tracking issue: https://github.com/exercism/org-wide-files/issues/323
ā¹ More info: https://github.com/exercism/org-wide-files/commit/5ccdeb6ebe24182f48466a9e7cc27370cdcbcfe7 š Tracking issue: https://github.com/exercism/org-wide-files/issues/360
ā¹ More info: https://github.com/exercism/org-wide-files/commit/fc1613760f6670850e29a593bbb5c9669edc23bd š Tracking issue: https://github.com/exercism/org-wide-files/issues/394
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.1.7 to 4.2.2. Release notes Sourced from actions/checkout's releases. v4.2.2 What's Changed url-helper.ts now leverages well-known environment variables by @ājww3 in actions/checkout#1941 Expand unit test coverage for...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}