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.
もっと見る
