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.
더 보기
