Sign Up
Kata
Kumite
Blog
Forum
Wiki
Leaders
Log In
Sign Up
Name:
Unknown
Clan:
Unknown
Member Since:
Jun 2020
Last Seen:
Apr 2021
Profiles:
Following:
0
Followers:
0
Allies:
0
View Profile Badges
Stats
Kata
Collections
Kumite
Social
Discourse
Completed (73)
Authored
7 kyu
Confusing syntax
1
1
0
100%
of
5
10
mhimmel
Completed Languages:
Beta
Induction principle on nonnegative reals
0
0
0
100%
of
1
2
ChrisHughes24
Completed Languages:
Beta
Prove that these group elements commute
0
0
0
0%
of
0
3
ChrisHughes24
Completed Languages:
Beta
Power Towers in a group
1
1
0
100%
of
2
3
ChrisHughes24
Completed Languages:
6 kyu
Runtime analysis: Euclidean algorithm
0
0
0
100%
of
3
6
mhimmel
Completed Languages:
Beta
Linear projection
0
0
0
100%
of
3
5
mhimmel
Completed Languages:
4 kyu
Program Verification #6: Fast Fibonacci numbers
1
1
2
100%
of
5
13
monadius
Completed Languages:
6 kyu
Divisibility by 19
0
0
0
90%
of
5
9
mhimmel
Completed Languages:
6 kyu
The integers and the rationals are not isomorphic as groups
0
0
0
100%
of
6
11
mhimmel
Completed Languages:
Beta
Teaching the simplifier about divisibility by three
0
0
0
100%
of
4
6
mhimmel
Completed Languages:
Beta
Real Chebyshev
1
1
0
100%
of
4
6
monadius
Completed Languages:
4 kyu
Evaluating the type safety of a toy language
2
2
2
100%
of
6
18
donaldsebleung
Completed Languages:
5 kyu
Times Three, Plus Five
3
3
0
88%
of
8
25
klao
Completed Languages:
5 kyu
Every group of order 4 is commutative
1
1
0
100%
of
6
13
kckennylau
Completed Languages:
Beta
Prove that this sequence contains only integers
0
0
0
100%
of
4
6
kckennylau
Completed Languages:
Loading more items...
Confirm