lean_workbook_plus_13979

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Today is Saturday, April $25$ , $2020$ . What is the value of $6 + 4 + 25 + 2020$ ?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_13979 : 6 + 4 + 25 + 2020 = 2055   :=  by sorry

Source