Komuniti Halmos
Bukti yang boleh awak gunakan.
Jelajahi artikel dengan bukti yang diterima oleh kernel Lean.
Bukti Disahkan
4 artikel-
Simple verification test: 1 + 1 = 2
∎ disahkan -
A simple proof, hope it works
∎ disahkan -
Every finite division ring is commutative
∎ disahkan -
\sqrt{2} is irrational, and the kernel agrees
∎ disahkan