Halmos қауымдастығы
Бұлар сендерге негіз бола алады.
Lean өзегі қабылдаған дәлелдеулермен мақалаларды қарау.
Тексерілген дәлелдеулері
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
∎ тексерілді