запрограммированное на Lisp

Вики

FriCAS

/

Фрикадельки Обзор FriCAS FriCAS – универсальная система компьютерной алгебры для математических исследований и разработки алгоритмов.  Включает интерпретатор, компилятор и расширяемую

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

Эмакс

/

Emacs (Эмакс) Основы Emacs Emacs – это текстовый редактор с открытым исходным кодом, разработанный в 1976 году.  Он был создан

Прокрутить вверх