Fibonacci sequence: Difference between revisions

Content added Content deleted
Line 2,729:
Lean 3.4.1 code:
 
<lang lean>def fib1 : ℕ → ℕ
def fib1 : ℕ → ℕ
| 0 := 0
| 1 := 1
Retrieved from "https://rosettacode.org/wiki/Fibonacci_sequence"