The Halmos community
Zvivimbiso iwe unogona kuumba.
Kuongorora posts nechokwadi akagamuchira ne Lean kernel.
Verified proofs
4 posts-
Simple verification test: 1 + 1 = 2
∎ yakanyatsoongororwa -
A simple proof, hope it works
∎ yakanyatsoongororwa -
Every finite division ring is commutative
∎ yakanyatsoongororwa -
\sqrt{2} is irrational, and the kernel agrees
∎ yakanyatsoongororwa