Math Proof Studio — это блокнот для написания доказательств, созданный на основе контроля над вашей записью рассуждений. Пишите в текстовом редакторе, сохраняйте все изменения в связанной цепочке и выполняйте детерминированные проверки протокола (а не оценки). Собирайте выбранные работы в экспортируемые пакеты доказательств для обмена или архивирования.
Последнее обновление
31 янв. 2026 г.