A comunidade Halmos
Provas que você pode construir.
Explore posts com provas aceites pelo kernel Lean.
Provas verificadas
4 Postos-
Simple verification test: 1 + 1 = 2
verificado -
A simple proof, hope it works
verificado -
Every finite division ring is commutative
verificado -
\sqrt{2} is irrational, and the kernel agrees
verificado