Sign Up
Kata
Kumite
Forum
Wiki
Leaders
Log In
Sign Up
Name:
Donald Sebastian Leung
Clan:
HKUST
Skills:
language agnosticism, functional programming, theorem proving
Member Since:
Jan 2016
Last Seen:
Mar 2019
Profiles:
Following:
637
Followers:
501
Allies:
264
View Profile Badges
Earn extra honor and gain new allies!
Honor is earned for each new codewarrior who joins.
Learn more
Stats
Kata
Collections
Kumite
Social
Discourse
Completed (2660)
Authored
6 kyu
Program Verification #3: Tail-recursive sum
1
1
0
100%
of
4
5
monadius
Completed Languages:
3 kyu
Program Verification #2: Fibonacci numbers
1
1
0
100%
of
5
6
monadius
Completed Languages:
2 kyu
Program Verification #1: The sum of an arithmetic progression
1
1
0
100%
of
3
4
monadius
Completed Languages:
1 kyu
List concatenation is injective? Prove it!
1
1
1
100%
of
6
8
lwoo1999
Completed Languages:
2 kyu
Heterogeneous Equality on sized vectors
1
1
1
100%
of
5
6
lwoo1999
Completed Languages:
5 kyu
OddsAndEvens: Multiplication
1
1
1
100%
of
9
11
XxDan10xX
Completed Languages:
5 kyu
OddsAndEvens: Addition
1
1
1
100%
of
8
12
XxDan10xX
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
2
2
1
94%
of
9
18
ice1000
Completed Languages:
Beta
Phase Transitions
0
0
0
50%
of
10
17
lecso2
Completed Languages:
2 kyu
A+A=B+B so A=B? Prove it!
1
1
2
100%
of
9
14
ice1000
Completed Languages:
4 kyu
Google interview
1
1
1
100%
of
7
10
ice1000
Completed Languages:
4 kyu
I'm now 360 degree different from the past
1
1
1
100%
of
9
16
ice1000
Completed Languages:
6 kyu
Make the Deadfish swim.
51
51
16
92%
of
544
3,601
NullData
Completed Languages:
Beta
Linear Algebra: Vector Spaces, Linear Transformations and Friends
3
3
0
75%
of
4
5
donaldsebleung
Completed Languages:
6 kyu
Filter valid romans
15
15
3
94%
of
59
145
St3f4n
Completed Languages:
Loading more items...
Confirm