Lurch - Математический текстовый процессор

Текстовый процессор с поддержкой математических выражений, который проверяет шаги работы пользователя.

Приложение позволяет вставлять общие символы или буквы, математические операторы, знаки равенства и отношения скобок, геометрические символы и многое другое.

Программу можно использовать в качестве простого текстового редактора. Lurch работает с форматом .lurch, но может открывать и txt файлы.

Шаг это любая часть документа Lurch (но обычно одно математическое выражение), к которому присоединена причина (вне зависимости от того, верна причина, или даже просто не заполнена).

Причиной является ссылка на "процедуру классификации", метод, с помощью которого Lurch может проверить, оправдывает ли причина шаг, к которому она прикреплена. Теоремы являются общим математическим примером причин; Вы цитируете одну, а затем читатель (или программное обеспечение) может проверить, правильно ли вы использовали теорему. Более машинно-ориентированный пример будет просить Lurch использовать свою внутреннюю систему компьютерной алгебры, чтобы проверить шаг работы.