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
∎ текшерилген