Komuniteti Halmos
Prova që mund të ndërtosh.
Eksploro postimet me prova të pranuara nga kerneli Lean.
Prova e verifikuar
4 postat-
Simple verification test: 1 + 1 = 2
∎ verifikuar -
A simple proof, hope it works
∎ verifikuar -
Every finite division ring is commutative
∎ verifikuar -
\sqrt{2} is irrational, and the kernel agrees
∎ verifikuar