Halmos icması
Bu, sənədlər üzərində qurulur.
Lean kerneli tərəfindən qəbul edilmiş sübutlarla yazıları araşdır.
Təsdiqlənmiş
4 məqalələr-
Simple verification test: 1 + 1 = 2
∎ təsdiqləndi -
A simple proof, hope it works
∎ təsdiqləndi -
Every finite division ring is commutative
∎ təsdiqləndi -
\sqrt{2} is irrational, and the kernel agrees
∎ təsdiqləndi