https://github.com/exercism/coq

Exercism exercises in Coq.
https://github.com/exercism/coq

community-contributions-paused exercism-track unmaintained

Last synced: about 1 month ago
JSON representation

Exercism exercises in Coq.

• Host: GitHub
• URL: https://github.com/exercism/coq
• Owner: exercism
• License: mit
• Created: 2017-05-05T17:48:45.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2024-04-25T07:13:46.000Z (8 months ago)
• Last Synced: 2024-05-01T11:25:13.213Z (8 months ago)
• Topics: community-contributions-paused, exercism-track, unmaintained
• Language: Shell
• Homepage: https://exercism.org/tracks/coq
• Size: 106 KB
• Stars: 18
• Watchers: 12
• Forks: 11
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

        
# 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](https://forum.exercism.org/c/exercism/building-exercism/125) to discuss it with the team.