Bernhard Mueller
@muellerberndt
加入 June 2011
0 正在關注 0 粉絲
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.
顯示更多
