fib.lean

-- useful for stress testing

def fib : ℕ → ℕ
| 0 := 1
| 1 := 1
| (n+2) := fib (n+1) + fib n

#eval fib 20

#eval 2 + 2