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.