Lean4

1. Fizz Buzz

EasyProgramFree10 points

Write fizzBuzz n, which describes the number n the way the counting game does: "Fizz" when n is divisible by 3, "Buzz" when it is divisible by 5, "FizzBuzz" when it is divisible by both, and the number itself, as a string, otherwise.

Examples

  1. InputfizzBuzz 3Output"Fizz"
  2. InputfizzBuzz 10Output"Buzz"
  3. InputfizzBuzz 30Output"FizzBuzz"
  4. InputfizzBuzz 7Output"7"

Submitting also runs 8 hidden tests.

Constraints

  • 0 is divisible by every number.
stringsarithmetic

Learn the ideas

Similar problems

Solution.lean
Loading…
Loading editor…
3#guard (fizzBuzz 3) = ("Fizz")
4#guard (fizzBuzz 10) = ("Buzz")
5#guard (fizzBuzz 30) = ("FizzBuzz")
6#guard (fizzBuzz 7) = ("7")
examples

Run checks your code against the examples and your custom inputs and records nothing. Submit also runs the hidden tests, confirms the axioms your proof uses and records the result. Each uses one compiler check.

ReadyLn 1, Col 1Lean 4
Draft saved in this browser