Anagopos 2.0

Free
Visualize reduction graphs of terms in lambda calculus and term rewriting.
Rating
Latest version:
2.0.1 See all
Developer:
Download
Free   33.1 MB
Open source
Info updated on:

Review

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.

Share your experience:
Write a review about this app

Screenshot (1)

Comments

User

Your vote: