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 #77

Closed exercism-bot closed 3 years ago

exercism-bot commented 3 years ago

More info: https://github.com/exercism/org-wide-files/commit/53f167009e30c254dcf27cfd60a86c912088e36f