အဆိုပါ Halmos အဖွဲ့အစည်း
သင်တည်ဆောက်နိုင်သော သက်သေအထောက်အထားများ။
Lean kernel ကလက်ခံရရှိသက်သေအထောက်အထားများနှင့်အတူ posts များကိုစူးစမ်းပါ။
သက်သေခံချက်ကိုစစ်ဆေး
4 ပို့စ်များ-
Simple verification test: 1 + 1 = 2
∎ စစ်ဆေး -
A simple proof, hope it works
∎ စစ်ဆေး -
Every finite division ring is commutative
∎ စစ်ဆေး -
\sqrt{2} is irrational, and the kernel agrees
∎ စစ်ဆေး