tests/lean/1825.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            theorem boom : -2147483648 + 2147483648 = 0 := by rfl

            
            theorem boom' : -2147483648 + 2147483648 = -18446744069414584320 := by native_decide
	theorem boom : -2147483648 + 2147483648 = 0 := by rfl
	theorem boom' : -2147483648 + 2147483648 = -18446744069414584320 := by native_decide