Phòng trưng bày công cộng

Các chạy công bố, bao gồm những chạy mà bảng không thể đạt đến thanh. Kết quả đó là điểm: một sự chính thức hóa mà nhân Lean từ chối nói cho bạn biết chính xác bước nào của đối số không bao giờ được xác minh.

Cái gì thuộc về đây

Trang này được xây dựng cho các công việc suy luận: toán học thuần túy và ứng dụng, logic, khoa học máy tính lý thuyết, vật lý lý thuyết và lý thuyết kinh tế — các tuyên bố được giải quyết bằng chứng thay vì bằng thí nghiệm. Đối với các câu hỏi kinh nghiệm, nơi phán quyết trung thực là một phát hiện thay vì một định lý, hãy sử dụng trang chị em referee.chat thay thế.

Đi tới referee.chat