Kata
Sign Up
Kata
Docs
Blog
Kumite
Forum
Leaders
Log In
Sign Up
6 kyu
[Code golf] negb is involutive
2
2
0
88%
of
8
23
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