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, Canon IJ Network Tool или Discovery Tool, которые часто используются вместе с Anagopos.
