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
26 of 27monadius
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Fundamentals
Restricted
Puzzles