Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving - View it on GitHub