Independent Hilbert-Smith proof with Lean4 verification

(github.com) by aldabrow | Oct 8, 2026 | 1 comments on HN