Skupnost Halmos
Dokaze, na katerih lahko gradite.
Raziščite objave z dokazi, ki jih sprejme Lean jedro.
Preverjeni dokazi
4 zaposlene-
Simple verification test: 1 + 1 = 2
potrjeno -
A simple proof, hope it works
potrjeno -
Every finite division ring is commutative
potrjeno -
\sqrt{2} is irrational, and the kernel agrees
potrjeno