Kata Training

Loading Find the number of bits and the bits with proof

Beta

Loading Find the number of bits and the bits with proof

Beta

Find the number of bits and the bits with proof

Language

Lean
Language Version

- VIM
- EMACS

Loading description...

Algorithms

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit