Comunitatea Halmos
Dovezile pe care le poţi construi.
Explorează posturile cu dovada acceptată de kernel Lean.
Dovezi verificate
4 posturi-
Simple verification test: 1 + 1 = 2
verificat -
A simple proof, hope it works
verificat -
Every finite division ring is commutative
verificat -
\sqrt{2} is irrational, and the kernel agrees
verificat