கோரிக்கை∎ சரிபார்க்கப்பட்டது

Simple verification test: 1 + 1 = 2

jerryjAugust 21, 2026 · 1 மாதம் முன்

lean

import Mathlib

example : 1 + 1 = 2 := by
  norm_num

∎ verified by the kernel30100 ms

விவாதம் 0

ஒரு கேள்வி அல்லது அதை பார்க்க வேறு வழி உள்ளது?
உரையாடலில் இணையவும்.

கருத்துகள் இல்லை.