-
Notifications
You must be signed in to change notification settings - Fork 221
Language Coq
kazk edited this page Mar 31, 2020
·
21 revisions
Beta
- 8.9
- 8.11
Unfortunately, the Codewars environment does not support the interactive development of Coq proofs. The current recommended method of solving a Kata is by copying the relevant code snippets onto your local machine and developing your solution locally: preloaded code should go into Preloaded.v, your solution into Solution.v and the Sample/Submit tests into SolutionTest.v.
12 seconds
None