Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry)

(ramzesx.github.io) by NorbertMarch | May 4, 2026 | 0 comments on HN