Mathlib

Atlas/Foundations/Numbers

Fibonacci spiral

1/4

Start with 1, 1. Each next number is the sum of the two before.