| ▲ | Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry)(ramzesx.github.io) | |
| 2 points by NorbertMarch 6 hours ago | 1 comments | ||
| ▲ | NorbertMarch 6 hours ago | parent [-] | |
[flagged] | ||
| ▲ | Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry)(ramzesx.github.io) | |
| 2 points by NorbertMarch 6 hours ago | 1 comments | ||
| ▲ | NorbertMarch 6 hours ago | parent [-] | |
[flagged] | ||