Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
37
stars
5
forks
source link
(low priority) Refactor: Generate python doc automatically from code comments instead of manual copying #9
Open
fzyzcjy opened 1 year ago
(will do others first)