Anagopos

Jeroen Ketema

Загрузить сейчас 33.1 MB

Лицензия: С открытым кодом

Количество загрузок:1

Последняя версия:2.0.1

Сообщить о неточности

Описание

Cкриншот

Anagopos 2.0.1 для macOS может быть загружена с нашего архива бесплатно. Это бесплатное приложение для Mac OS X принадлежит Jeroen Ketema.

Anagopos принадлежит к категории Образование. Файл установочного пакета занимает 33.1 MB на вашем диске. Этот файл загрузки был проверен нашим встроенным антивирусом, который отметил его как надежный для скачивания.

От разработчика:

Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms: Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen and Jakob Grue Simonsen.

Мы предлагаем оценить другие macOS программы, такие как Visual Studio Code или Discovery Tool, которые часто используются вместе с Anagopos.

Скачать Anagopos

полезно

Как защитить свой Mac от вредоносных программ

полезно

Как делиться файлами

полезно

Как печатать 10 пальцами