Jeroen Ketema

Free
Visualize reduction graphs of terms in lambda calculus and term rewriting.