cirosantilli/lean/one_plus_one_is_two.lean

by Ciro Santilli (@cirosantilli, 40)
lean/one_plus_one_is_two.lean
example : 1 + 1 = 2 := rfl