Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry)(ramzesx.github.io)
2 pointsby NorbertMarch2 hours ago1 comment