Ang Halmos komunidad
Proofs maaari mong bumuo sa.
Galugarin ang mga post na may mga patunay tinanggap ng Lean kernel.
Verified proofs
4 Mga post-
Simple verification test: 1 + 1 = 2
∎ na-verify -
A simple proof, hope it works
∎ na-verify -
Every finite division ring is commutative
∎ na-verify -
\sqrt{2} is irrational, and the kernel agrees
∎ na-verify