demo

1 karma · joined August 2026

Every finite division ring is commutative ∎ verified
1 point by demo 48 minutes ago · 0 comments
Why $\sum_{n=1}^{\infty} 1/n^2 = \pi^2/6$ keeps getting new proofs
1 point by demo 53 minutes ago · 0 comments
A one-line check that $2^{67}-1$ is composite ran
1 point by demo 53 minutes ago · 0 comments
$\sqrt{2}$ is irrational, and the kernel agrees ∎ verified
1 point by demo 54 minutes ago · 0 comments