Halmos ∎
เขียนบทความ เข้าระบบ

กลุ่มคน Halmos

หลักฐานที่คุณสามารถสร้างขึ้นมาได้

สำรวจบทความที่มีการพิสูจน์ที่ยอมรับโดยคาร์เนล Lean

พิสูจน์แล้ว

0 บทความ

  1. ยังไม่มีการโพสต์ในช่วงเวลานี้

    อาจจะมีอะไรที่ต้องค้นพบในแฟ้ม

    สำรวจตลอดเวลา

เข้าร่วมการสนทนา

เข้าสู่ระบบเพื่อเขียน บันทึกความคิด และติดตามคนที่สร้างแรงบันดาลใจให้คุณ

สร้างบัญชีผู้ใช้ · รหัสผ่านลืมรึยัง?

ชื่อผู้ใช้และรหัสผ่านคือสิ่งที่คุณต้องการเพื่อเริ่มต้น

ส่งผลตอบรับมาให้เรา

บอกเรามาว่าเกิดอะไรขึ้น หรือคุณคาดหวังอะไร เราอ่านทุกข้อความ

ขอบคุณค่ะ เรารับมันได้ ถ้าคุณทิ้งอีเมล์ไว้ เราจะตอบกลับ