vix.ing · top · new · best · stats · spec

Nat Sothanaphan

  1. Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof
    2026/01/12 by Nat Sothanaphan · 2 voices · 3 citations
    Mathematics · #math.NT