Ad
6 kyu
Program Verification #2: Fibonacci numbers
183monadius
Completed Languages:
3 kyu
Data Types à la Carte
364mpickering
Completed Languages:
1 kyu
A*B=B*A? Prove it!
220ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
284ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
741AJFarmar
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
386AJFarmar
Completed Languages:
1 kyu
Peano and Church
326lolisa
Completed Languages:
2 kyu
Finally tagless interpreter
309tel
Completed Languages:
2 kyu
The most imperative functional language?
341bkaes
Completed Languages:
2 kyu
The most untyped typed language?
85yihongz
Completed Languages:
2 kyu
Algebraic Isomorphism
549lolisa
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
265ice1000
Completed Languages:
3 kyu
Isomorphism
926lolisa
Completed Languages:
7 kyu
Google interview
323ice1000
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
Loading more items...