Halmos społeczność
Dowody na których możesz się zbudować.
Badać posty z dowodami akceptowane przez jądro Lean.
Zweryfikowane dowody
4 stanowiska-
Simple verification test: 1 + 1 = 2
zweryfikowane -
A simple proof, hope it works
zweryfikowane -
Every finite division ring is commutative
zweryfikowane -
\sqrt{2} is irrational, and the kernel agrees
zweryfikowane