Phi-reducer

An experimental project which reduces 𝜑-calculus expressions.
Check out our papers.

Check us out at Github.