Samhället Halmos
Bevis som du kan bygga på.
Utforska inlägg med bevis som accepteras av Lean-kärnan.
Verifierade bevis
4 tjänster-
Simple verification test: 1 + 1 = 2
på verifierad -
A simple proof, hope it works
på verifierad -
Every finite division ring is commutative
på verifierad -
\sqrt{2} is irrational, and the kernel agrees
på verifierad