Anagopos

por Jeroen Ketema

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Código abierto

Descargas totales:1

Latest version:2.0.1

Reportar información incorrecta

Descripción

Captura de pantalla

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.

Descarga Anagopos desde el sitio web del desarrollador

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos