Independent Hilbert-Smith proof with Lean4 verification

An independent Hilbert‑Smith proof verified in Lean4 offers a formally checked foundation for topological research. To adopt it, simply add the repository, revi