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
∎ ստուգված