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

(ramzesx.github.io)

2 points | by NorbertMarch 5 hours ago ago

1 comments