Math Proof Studio ist ein Notizbuch zum Schreiben von Beweisen, das auf der Kontrolle über Ihre Argumentationskette basiert. Schreiben Sie in einem textbasierten Editor, speichern Sie jede Änderung in einer verknüpften Kette und führen Sie deterministische Protokollprüfungen durch (keine Benotung). Stellen Sie ausgewählte Arbeiten zu exportierbaren Beweispaketen zusammen, um sie zu teilen oder zu archivieren.
Aktualisiert am
31.01.2026