29 303
Лаборатория Малыша
Математика L(6+7)
Математическое рабочее место
Один контур для решения задач, формул LaTeX, графиков и проверок размерности. Вычисления выполняет существующее локальное ядро лаборатории.Примеры
Результат
Результат появится здесь.
Лаборатория Малыша
Лаборатория
Рабочая зона выбранного раздела лаборатории с компактной навигацией.Рабочая лаборатория
Единое рабочее пространство: запуск миссий, загрузка источников, поиск, анализ, графики формул, пакеты доказательств и аудит.
12 932
16 371
7 167
Навигация лаборатории
Доказательный контур
Доказательства / отчёты
Фиксация результатов, SHA, manifest, отчёты и переход в память только после подтверждения.