Die Halmos-Gemeinschaft
Beweise, auf denen man bauen kann.
Erkunde Posts mit vom Lean Kernel akzeptierten Beweisen.
Verifizierte Nachweise
4 Planstellen-
Simple verification test: 1 + 1 = 2
, überprüft -
A simple proof, hope it works
, überprüft -
Every finite division ring is commutative
, überprüft -
\sqrt{2} is irrational, and the kernel agrees
, überprüft