Kata
Sign Up
Kata
Kumite
Blog
Forum
Wiki
Leaders
Log In
Sign Up
6 kyu
[Code golf] negb is involutive
2
2
0
88%
of
8
21
monadius
Coq
Choose language...
Coq
Train
Next Kata
Details
Solutions
Discourse (6)
Show Kata Description
Description:
Loading description...
Puzzles
Theorem Proving
Fundamentals
Show Kata Test Cases
Loading comments...
Confirm