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