Update README to reflect current status

exercism / coq

Exercism exercises in Coq.

https://exercism.org/tracks/coq

MIT License

18 stars 11 forks source link

Closed kytrinyx closed 1 year ago

kytrinyx commented 1 year ago

This track has no maintainers, 3 exercises, and no activity for several years.

Let's archive the repository.