Halmos жамоаси
Сизга асос бўладиган далиллар бор.
Lean ядроси томонидан қабул қилинган исботлар билан мақолаларни кўриб чиқиш.
Тасдиқланган далиллар
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
∎ текширилган