Math Proof Studio คือสมุดบันทึกการเขียนพิสูจน์ทางคณิตศาสตร์ที่เน้นการควบคุมบันทึกการให้เหตุผลของคุณ เขียนในโปรแกรมแก้ไขข้อความแบบเน้นข้อความเป็นหลัก เก็บรักษาทุกการแก้ไขไว้ในห่วงโซ่ที่เชื่อมโยงกัน และทำการตรวจสอบตามโปรโตคอลแบบกำหนดได้ (ไม่ใช่การให้คะแนน) คัดเลือกผลงานที่เลือกไว้เป็นชุดหลักฐานที่ส่งออกได้เพื่อการแบ่งปันหรือเก็บรักษาไว้ในคลังข้อมูล