ห้องแสดงภาพสาธารณะ

แสดงการทำงาน รวมถึงการทำงานที่แพลตฟอร์มไม่สามารถเข้าถึงบาร์ได้ ผลลัพธ์คือ ข้อความ: การกำหนดรูปแบบที่คาร์เนล Lean ปฏิเสธ จะบอกคุณว่าขั้นตอนไหนที่อาร์กิวเมนต์ไม่เคยถูกต้อง

สิ่งที่อยู่ในที่นี่

เว็บไซต์นี้ถูกสร้างขึ้นเพื่องานที่เกี่ยวข้องกับการคำนวณ: คณิตศาสตร์บริสุทธิ์และประยุกต์ใช้, ตรรกะ, วิทยาศาสตร์คอมพิวเตอร์ทฤษฎี, ฟิสิกส์ทฤษฎีและทฤษฎีเศรษฐกิจ - คำอ้างที่ถูกตัดสินโดยการพิสูจน์มากกว่าการทดลอง สำหรับคำถามที่เกี่ยวข้องกับประสบการณ์, ที่คำตัดสินที่ซื่อสัตย์คือการค้นพบมากกว่าทฤษฎี, ใช้เว็บไซต์พี่น้องของเรา referee.chat แทน

ไปที่ referee.chat