Kata Library: Lean Practice
Sign Up
Time to claim your honor
Training
Practice
Complete challenging
Kata
to earn honor and ranks. Re-train to hone technique
Freestyle Sparring
Take turns remixing and refactoring others code through
Kumite
Community
Leaderboards
Achieve honor and move up the global leaderboards
Chat
Join our
Discord
server and chat with your fellow code warriors
Discussions
View our
Github Discussions
board to discuss general Codewars topics
About
Docs
Learn about all of the different aspects of Codewars
Blog
Read the latest news from Codewars and the community
Log In
Sign Up
Library
Collections
Newest
Oldest
Popularity
Positive Feedback
Most Completed
Least Completed
Hardest
Easiest
Name
Relevance
Low Satisfaction
All
My Languages
Agda (Beta)
BF (Beta)
C
CFML (Beta)
Clojure
COBOL (Beta)
CoffeeScript
CommonLisp (Beta)
Coq
C++
Crystal
C#
D (Beta)
Dart
Elixir
Elm (Beta)
Erlang (Beta)
Factor (Beta)
Forth (Beta)
Fortran (Beta)
F#
Go
Groovy
Haskell
Haxe (Beta)
Idris (Beta)
Java
JavaScript
Julia (Beta)
Kotlin
λ Calculus (Beta)
Lean
Lua
NASM
Nim (Beta)
Objective-C (Beta)
OCaml (Beta)
Pascal (Beta)
Perl (Beta)
PHP
PowerShell (Beta)
Prolog (Beta)
PureScript (Beta)
Python
R (Beta)
Racket
Raku (Beta)
Reason (Beta)
RISC-V (Beta)
Ruby
Rust
Scala
Shell
Solidity (Beta)
SQL
Swift
TypeScript
VB (Beta)
Approved & Beta
Approved
Beta
All
Kata I have not trained on
Kata I have not completed
Kata I have completed
8 kyu
easiest
7 kyu
6 kyu
5 kyu
4 kyu
3 kyu
2 kyu
1 kyu
hardest
Algebra
1
Cryptography
1
Mathematics
3
Number Theory
1
Puzzles
16
Theorem Proving
6
FEATURED TAGS
Cryptography
Data Science
Debugging
Games
Tutorials
16 Kata Found
6 kyu
Magic is Commutative
142
Axure
Puzzles
Beta
Generalised Pell x^2-37y^2=3
4
kbuzzard
Status:
Ranking feedback needed
Estimated Rank:
5 kyu
Puzzles
6 kyu
Prove that the sum of a nilpotent element and a unit is a unit
21
ChrisHughes24
Theorem Proving
Algebra
Mathematics
Puzzles
Beta
Linear Feedback Shift Registers
6
donaldsebleung
Status:
Testing & feedback needed
Estimated Rank:
4 kyu
Cryptography
Theorem Proving
Puzzles
7 kyu
Resolving the Goldbach conjecture! (Part 1)
47
b-mehta
Puzzles
Beta
Power Towers in a group
5
ChrisHughes24
Status:
Testing & feedback needed
Puzzles
4 kyu
Evaluating the type safety of a toy language
35
donaldsebleung
Theorem Proving
Puzzles
5 kyu
Easy Fermat
26
donaldsebleung
Mathematics
Theorem Proving
Puzzles
Beta
a^2=b^3+11
3
kbuzzard
Status:
Testing & feedback needed
Puzzles
6 kyu
A sum of consecutive odd primes is extra composite
19
khanh93
Number Theory
Puzzles
Beta
(5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
3
kbuzzard
Status:
Testing & feedback needed
Estimated Rank:
3 kyu
Puzzles
Mathematics
Beta
Induction principle on nonnegative reals
3
ChrisHughes24
Status:
Testing & feedback needed
Estimated Rank:
6 kyu
Puzzles
7 kyu
relating binary relations
86
kbuzzard
Puzzles
8 kyu
Prove that any Inverse of an Involutive Function is itself
132
shingtaklam1324
Puzzles
7 kyu
A random fact about filtering
126
donaldsebleung
Theorem Proving
Puzzles
5 kyu
Multiples of 3, you say?
116
donaldsebleung
Theorem Proving
Puzzles
Confirm
Collect:
undefined
Loading collection data...