Kata Training

Loading Running around in circles, optimizing the Double Negation

5 kyu

Loading Running around in circles, optimizing the Double Negation

5 kyu

Running around in circles, optimizing the Double Negation

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Fundamentals

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit