Ad
1 kyu
Left, left! Right, right! Comp! Symmetric! Q!E!D!
49ice1000
Completed Languages:
3 kyu
I~ transport lemmas so right, proving the wrong thing
51ice1000
Completed Languages:
6 kyu
Program Verification #1: The sum of an arithmetic progression
206monadius
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
249ice1000
Completed Languages:
5 kyu
Pattern in the mirror and bisimulation for real
48ice1000
Completed Languages:
6 kyu
Magic is Commutative
138Axure
Completed Languages:
4 kyu
Cracking the Vigenère cipher, step 1: determining key length
128NaMe613
Completed Languages:
4 kyu
Vigenère Cipher Helper
7,916jacobb
Completed Languages:
3 kyu
Last digit of a huge number
7,384Bodigrim
Completed Languages:
5 kyu
Last digit of a large number
24,071dburgoyne
Completed Languages:
6 kyu
Valid Braces
72,399xDranik
Completed Languages:
7 kyu
Valid Parentheses
7,491Kacarott
Completed Languages:
6 kyu
Array.diff
271,384marcinbunsch
Completed Languages:
6 kyu
Duplicate Encoder
211,815obnounce
Completed Languages:
7 kyu
Jaden Casing Strings
233,381jacobb
Completed Languages:
Loading more items...