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.
-
-
Notifications
You must be signed in to change notification settings - Fork 11
Exercism exercises in Coq.
License
exercism/coq
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Exercism exercises in Coq.
Topics
Resources
License
Code of conduct
Stars
Watchers
Forks
Releases
No releases published
Sponsor this project
Packages 0
No packages published