Ҷамъияти 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
∎ тасдиқ карда шуд