{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/45fc34c5dcbf49b2b506b35afd674f78\" frameborder=\"0\" width=\"1920\" height=\"1440\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1440,"width":1920,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1440,"thumbnail_width":1920,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/45fc34c5dcbf49b2b506b35afd674f78-ff767a63537d77a3.gif","duration":141.4413,"title":"Building Cumulative Mathematical Reasoning with Proof Tree","description":"This Loom introduces ProofTree as a platform for building cumulative mathematical reasoning around questions, discussions, and proofs. It explains how Ask lets you discuss with a model of choice while routing you to existing mathematical threads, each with its own specialized scribe that maintains context and relevant prior contributions. The video highlights that ProofTree also supports mathematical projects in repos, enabling comparison of proof attempts and collaboration across formality levels, from sketches to lean verified mathematics. It closes by inviting early users to test, challenge, and help shape the platform, with details available at prooftree.ai."}