6 kyu

[Code golf] negb is involutive

Description
Loading description...
Theorem Proving
Fundamentals
Restricted
Puzzles