Halmos bendruomenė
Įrodymai, kuriais galite remtis.
Išnagrinėti pranešimus su įrodymais, priimti Lean branduolys.
Tikrinti įrodymai
4 Pareigos-
Simple verification test: 1 + 1 = 2
patikrinta -
A simple proof, hope it works
patikrinta -
Every finite division ring is commutative
patikrinta -
\sqrt{2} is irrational, and the kernel agrees
patikrinta