Halmos нийгэмлэг
Та үүнийг ашиглаж болно.
Lean kernel-ийн хүлээн зөвшөөрсөн баталгаажуулалттай нийтлэлүүдийг судлах.
Шалгасан
4 бичлэг-
Simple verification test: 1 + 1 = 2
∎ баталгаажуулсан -
A simple proof, hope it works
∎ баталгаажуулсан -
Every finite division ring is commutative
∎ баталгаажуулсан -
\sqrt{2} is irrational, and the kernel agrees
∎ баталгаажуулсан