M'banja la Halmos
Zitsimikizo zimene mungachite pa.
Kuphunzira zolemba ndi zitsimikiziro anavomerezedwa ndi Lean kernel.
Kuyesedwa kwa umboni
4 posts-
Simple verification test: 1 + 1 = 2
∎ anayesedwa -
A simple proof, hope it works
∎ anayesedwa -
Every finite division ring is commutative
∎ anayesedwa -
\sqrt{2} is irrational, and the kernel agrees
∎ anayesedwa