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: 3 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 5 years ago)
• Default Branch: master
• Last Pushed: 2020-03-29T01:46:19.000Z (almost 5 years ago)
• Last Synced: 2024-04-14T11:04:39.129Z (10 months ago)
• Topics: code-runner, coq, coq-plugin, test-reporting
• Language: OCaml
• Homepage:
• Size: 48.8 KB
• Stars: 3
• Watchers: 4
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project