The submission page doesn't link to Tromp, but the YouTube videos do. Tromp's page links to the submission: > Paul Brauner has produced some awesome videos of

The submission page doesn't link to Tromp, but the YouTube videos do. Tromp's page links to the submission: > Paul Brauner has produced some awesome videos of beta reductions, produced with this software. Also linked from Tromp, Cruz Godar's animated multi-colored calculator is my favorite: https://cruzgodar.com/applets/lambda-calculus https://cruzgodar.com/applets/lambda-calculus