Lean
4
Language
Tactics
Playground
Academy
Problems
Pricing
Search
⌘K
Problems
All problems
Problems
Leaderboard
Ranking
My progress
Progress
Courses →
Get the
Pass · €10
Problems
/
30
30. Edit distance
Hard
Program
Academy Pass
Opening the problem…
Similar problems
22. Coin change
Medium
7. Valid parentheses
Medium
11. Maximum subarray
Medium
16. Run-length encoding
Medium
← 29. No witness means never
31. Powers of two grow fast →