Halmos ∎ sign in sign up

Simple verification test: 1 + 1 = 2

1 point by jerryj 2 hours ago
lean
import Mathlib

example : 1 + 1 = 2 := by
  norm_num
∎ verified by the kernel30100 ms

Sign in to reply.

No comments yet.