Anagopos
Visualize reduction graphs of terms in lambda calculus and term rewriting.
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.
This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted
DOWNLOAD
33.1 MB
Free