Similar repositories to semantic-math/math-rules: