Loading [Code golf] f (f (f b)) = f b
6 kyu
Loading [Code golf] f (f (f b)) = f b
6 kyu
[Code golf] f (f (f b)) = f b
21 of 22monadius
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Fundamentals
Restricted
Puzzles