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