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