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