RelAPS is an interactive system assisting in proving relation-algebraic theorems.
The aim of the system is to provide an environment where a user can perform a
relation-algebraic proof similar to doing it using pencil ...