Anonymous user
Fibonacci sequence: Difference between revisions
→{{header|Lean}}
Line 2,729:
Lean 3.4.1 code:
<lang lean>def fib1 : ℕ → ℕ
| 0 := 0
| 1 := 1
|
Line 2,729:
Lean 3.4.1 code:
<lang lean>def fib1 : ℕ → ℕ
| 0 := 0
| 1 := 1
|