Samosa - Linter для математических выводов

Show HN: Samosa – Linter for Math Derivations

Samosa — это инструмент, который привносит в математику то, что разработчики давно ценят в коде: автоматическую проверку. Как линтер находит ошибки в программах, так Samosa анализирует математические выводы и подсказывает, где рассуждение дало сбой. Проект пригодится студентам, преподавателям и всем, кто работает с формулами и доказательствами: вместо ручной перепроверки каждого шага можно быстро получить обратную связь и сосредоточиться на сути задачи. Попробовать инструмент можно прямо в браузере на samosa-math.vercel.app.