Rox是一个开源的框架用于构建基于图形的应用程序。它是专门针对教学工作而设计的，比如图形运算法则的运行，定理验证。