DEV-MODE auth (username + password, local only) · GitHub live mode
Leanforces
Challenges
Leaderboard
Safety
Sign in
Create account
Catalogue
Challenges
+ Submit a challenge
Matrix addition is commutative
matrix-add-comm
🌱 5
0 submissions
·
0 accepted
Ring expansion of (a + b)²
C0002
🌱 10
2 submissions
·
1 accepted
Nat add zero
C0001
🌱 5
8 submissions
·
4 accepted