Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python.
Authored by
at
, Added: Mar 8, 2004
http://www.alcyone.com/software/church/
