Il-komunità Halmos
Provi li tista’ tibni fuqhom.
Esplora postijiet bi provi aċċettati mill-kernel Lean.
Provi vverifikati
4 postijiet-
Simple verification test: 1 + 1 = 2
∎ ivverifikat -
A simple proof, hope it works
∎ ivverifikat -
Every finite division ring is commutative
∎ ivverifikat -
\sqrt{2} is irrational, and the kernel agrees
∎ ivverifikat