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

กลุ่มคน Halmos

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

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

พิสูจน์แล้ว

4 บทความ

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

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

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

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

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

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

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