search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

🤖 Sync org-wide files to upstream repo #116

Closed exercism-bot closed 5 months ago

exercism-bot commented 5 months ago

ℹ More info: https://github.com/exercism/org-wide-files/commit/32bc92366925fb6f5065c4c78ed9e60f3e58bf7c 👁 Tracking issue: https://github.com/exercism/org-wide-files/issues/367