FloatingPragma

Nghiên cứu mở về tính nhất quán của người quan sát hữu hạn trong vật lý: các định lý và bổ đề được kiểm chứng bằng Lean, các mô phỏng có thể tái lập, các mô hình phản chứng rõ ràng và các cầu nối vật lý mở được theo dõi cụ thể.