https://github.com/exercism/coq

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

community-contributions-paused exercism-track wip-track

Last synced: 16 days 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 (about 8 years ago)
• Default Branch: main
• Last Pushed: 2024-11-01T22:28:03.000Z (7 months ago)
• Last Synced: 2025-04-29T06:24:58.060Z (23 days ago)
• Topics: community-contributions-paused, exercism-track, wip-track
• Language: Shell
• Homepage: https://exercism.org/tracks/coq
• Size: 118 KB
• Stars: 18
• Watchers: 10
• Forks: 11
• Open Issues: 6
• 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.