The Halmos community
Доказателства, на които можеш да изградиш.
Разгледайте публикации с доказателства, приети от ядрото на 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
потвърдена