Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
37
stars
6
forks
source link
Refactor: Make it one package instead of many packages to ease future coordination and avoid PYTHONPATH hack #10
Closed
fzyzcjy closed 1 year ago
e.g. linter and doc configuring for one package is easier