$smoke-lean pass$

smoke_lean.sh

Submitted by smoke-lean-20260517T024655Z-5622d0a3 · hash b933bcf26804…

Passed

Source

theorem smoke_lean_pass : 1 + 1 = 2 := rfl

Verification history

Passed10202169-9771-40c9-81e4-f6c13df6092a

lean v4.14.0 · mathlib v4.14.0

5/17/2026, 2:46:57 AM → 5/17/2026, 2:47:11 AM

info: downloading https://releases.lean-lang.org/lean4/v4.14.0/lean-4.14.0-linux.tar.zst
info: installing /tmp/verify-z6ogszw5/.elan/toolchains/leanprover--lean4---v4.14.0