Anagopos

Visualize reduction graphs of terms in lambda calculus and term rewriting
Download

Anagopos Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Publisher Name:
  • Anagopos Team
  • Publisher web site:
  • http://code.google.com/u/103224642995638903886/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 34.7 MB

Anagopos Tags


Anagopos Description

Anagopos is a free and open-source application that allows you to visualize the reduction graphs of terms in lambda calculus and term rewriting. Moreover, Anagopos enables step-by-step generation of reduction graphs under 6 different graph drawing algorithms. Anagopos is cross-platform and it works on Mac OS X and Linux. Binary for the Linux platform is available on the project's homepage.


Anagopos Related Software

About SoftwareSea