Bernhard Mueller(@muellerberndt):Can finite observers force spacetime, gravity and the Standard Model? OPH is an open, auditable attempt with Lean proofs, simulations and explicit gaps. Math, Lean 4 & physics hackers: credentials optional; rigor mandatory. Star it. Pick an issue.

2026.07.22 10:34

Can finite observers force spacetime, gravity and the Standard Model? OPH is an open, auditable attempt with Lean proofs, simulations and explicit gaps. Math, Lean 4 & physics hackers: credentials optional; rigor mandatory. Star it. Pick an issue.

434

10.5K

1.1K

Forward to community

Most Popular Users

Unipcs (aka 'Bonk Guy') 🎒

292.9K Followers

241.6M Followers

598.4K Followers

90.8K Followers

247.3K Followers

682.3K Followers

20.9K Followers

93.4K Followers

2.1M Followers

195.2K Followers

1M Followers

70.4K Followers

9M Followers

1.8M Followers

700.2K Followers