Halmos topluluğu
Proofs you can build on.
Lean çekirdeği tarafından kabul edilen kanıtlarla ilgili yazıları inceleyin.
Doğrulanmış kanıtlar
4 yazılar-
Simple verification test: 1 + 1 = 2
∎ doğrulandı -
A simple proof, hope it works
∎ doğrulandı -
Every finite division ring is commutative
∎ doğrulandı -
\sqrt{2} is irrational, and the kernel agrees
∎ doğrulandı