GitHub repository: kbuzzard/lean-squares-in-fibonacci
Primary language: Lean
Created: 2018-05-23T13:50:06Z
Description: 144 is the largest square in the Fibonacci sequence