exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link
community-contributions-paused exercism-track wip-track

Exercism Coq Track

Status

A bit of work has been done to configure this track, and it has 3 exercises.

If you wish to work on this track, please post in the Exercism Community Forum to discuss it with the team.