adbrw/HS_proof

Hilbert-Smith proof

2 best points · 1 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• Independent Hilbert-Smith proof with Lean4 verification (2 points, 1 comments, by aldabrow, 2026-10-08)