GitHub repository: ucam-cl-dtg/equality-checker
Primary language: Python
Description: Tiny server for testing equivalence of two symbolic expressions.