FloatingPragma

物理学における有限観測者一貫性に関するオープンリサーチ：Leanで検証された定理と補題、再現可能なシミュレーション、明示的な反モデル、および明確に追跡された未解決の物理的架け橋。