https://github.com/codewars/coq_codewars
A Coq plugin for Codewars
https://github.com/codewars/coq_codewars
code-runner coq coq-plugin test-reporting
Last synced: 8 months ago
JSON representation
A Coq plugin for Codewars
- Host: GitHub
- URL: https://github.com/codewars/coq_codewars
- Owner: codewars
- License: mit
- Created: 2019-07-11T03:06:50.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-03-29T01:46:19.000Z (over 5 years ago)
- Last Synced: 2025-04-05T13:11:15.682Z (9 months ago)
- Topics: code-runner, coq, coq-plugin, test-reporting
- Language: OCaml
- Homepage:
- Size: 48.8 KB
- Stars: 3
- Watchers: 3
- Forks: 2
- Open Issues: 0