Fibonacci sequence: Difference between revisions
Content added Content deleted
Line 5,935:
<lang lean>def fib1 : ℕ → ℕ
| 0 := 0
| 1 := 1
| (n + 2) := fib1 n + fib1 (n + 1)
| |||
Line 5,935:
<lang lean>def fib1 : ℕ → ℕ
| 0 := 0
| 1 := 1
| (n + 2) := fib1 n + fib1 (n + 1)
| |||