Lambda Sandbox allows you to create lambda calculus expressions by dragging and dropping.
The solver and church number support are coming soon!
There are no reviews or ratings yet! To leave the first one please