Fibonacci sequence: Difference between revisions
Content added Content deleted
(moved language "Lean" alphabetically in its rightful place.) |
|||
Line 5,931: | Line 5,931: | ||
=={{header|Lean}}== |
=={{header|Lean}}== |
||
Lean 3.4.1 code: |
|||
It runs on Lean 3.4.2: |
|||
<lang lean>def fib1 : ℕ → ℕ |
<lang lean>def fib1 : ℕ → ℕ |