Anagopos
Download now
33.1 MB
License:
Open source
Total downloads:1
Latest version:2.0.1
Description
Screenshot
Our software library provides a free download of Anagopos 2.0.1 for Mac. This free software for Mac OS X was originally created by Jeroen Ketema. The latest installer occupies 33.1 MB on disk. Anagopos for Mac is included in Education Tools. Our antivirus check shows that this Mac download is safe.
From the developer:
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.
You may want to check out more Mac applications, such as Genealogy Pro, sciatrope or Curvus Pro X, which might be similar to Anagopos.
useful
useful
useful
How to protect your Mac from malware
How to share files
How to type with 10 fingers
Latest update:
Related software
Comments
Please add a comment explaining the reasoning behind your vote.