Tools on Rewriting

1 tool found.

• Anagopos

  last modified: Aug 25, 2015 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.

  READ-ONLY: This project has been archived. For more information see this post....

  categories term_rewriting lambda_calculus visualizer