The Halmos community
Proofs you can build on.
ცნობები Lean kernel- ის მიერ მიღებული დადასტურებებით.
მოდიფიკაცია
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
∎ დადასტურებულია