lilyj97
Results
1
issues of
lilyj97
I was wondering how the training set of diagrams was generated (the synthetic diagram + accompanying proof). Like what script should I run? graph.py looks promising, but it's evidently not...