Halmos kogukond
Tõendeid, millele saab toetuda.
Uuri postitusi tõendid vastu võetud Lean kernel.
Tõendatud tõendid
4 ametikohad-
Simple verification test: 1 + 1 = 2
. kontrollitud -
A simple proof, hope it works
. kontrollitud -
Every finite division ring is commutative
. kontrollitud -
\sqrt{2} is irrational, and the kernel agrees
. kontrollitud