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