Anagopos 2.0.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. A las aplicaciones del grupo Educación y Ciencia, subgrupo Science, es a las que pertenece Anagopos. Este programa sin coste fue desarrollado originariamente por Jeroen Ketema. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Visual Studio Code, Canon IJ Network Tool o Discovery Tool, que podrían ser parecidos a Anagopos.