FloatingPragma

물리학의 유한 관찰자 일관성에 관한 오픈 리서치: Lean으로 검증된 정리 및 보조 정리, 재현 가능한 시뮬레이션, 명시적 반례 모델, 그리고 명확하게 추적된 개방형 물리 브리지.