Tools on Rewriting

1 tool found.

• Anagopos

  last modified: Feb 28, 2013 05:14:01

  

  Anagopos is 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 drawing algorithms.

  categories term_rewriting lambda_calculus visualizer