Mathematical Term Rewriting
Editor
Tutorial
×
Error
clear
validate
hint
step
answer
Idea and feedback by
Prof.dr. Krzysztof R. Apt
, implementation by Taddeüs Kroes and
Sander van Veen
.