Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen & Jakob Grue Simonsen
We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.