Refactor: Configure linter, and fix linting errors

albertqjiang / INT

Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

MIT License

37 stars 5 forks source link

Open fzyzcjy opened 1 year ago

fzyzcjy commented 1 year ago

(This, and following issues, are mainly a reminder for myself, as well as for future readers to easily search through changes etc)