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
/
7
7. Valid parentheses
Medium
Program
Academy Pass
Opening the problem…
Similar problems
16. Run-length encoding
Medium
28. Longest substring without repeats
Medium
1. Fizz Buzz
Easy
3. Palindrome
Easy
← 6. Climbing stairs
8. Gauss’s sum →