Ad
7 kyu
Valid Parentheses
10,959Kacarott
Completed Languages:
7 kyu
n(n+1)(4n-1)/6
63user8436785
Completed Languages:
7 kyu
Odd + Even = Odd? Even * Anything = Even? Prove it!
104shingtaklam1324
Completed Languages:
7 kyu
Verified binary tree inversion
45donaldsebleung
Completed Languages:
7 kyu
Another random fact about filtering
44donaldsebleung
Completed Languages:
7 kyu
Verified Sums of Parts
34donaldsebleung
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
402ice1000
Completed Languages:
8 kyu
Triple negation
211khanh93
Completed Languages:
8 kyu
Prove that any Inverse of an Involutive Function is itself
135shingtaklam1324
Completed Languages:
5 kyu
Second Variation on Caesar Cipher
2,052g964
Completed Languages:
6 kyu
What's A Name In?
4,158crimbus
Completed Languages:
5 kyu
Josephus Permutation
17,434GiacomoSorbi
Completed Languages:
6 kyu
Matrix Transpose
8,131osuushi
Completed Languages:
6 kyu
Apply offset to subtitles
403teoriachaosu
Completed Languages:
6 kyu
1/n- Cycle
2,731g964
Completed Languages:
Loading more items...