Closed yirkajk closed 6 years ago
@math1um I included your email and a link to your website as "contact information". Is this okay? @nvcleemp Would you like to include any contact information?
fine by me!
I have no strong feelings neither towards including my contact information and not including my contact information.
Then put Nico's info too. He started the project - and the association with the Project is important in many ways.
Work still in progress. Just opening the pull request now so I can ask a couple questions.
@math1um @nvcleemp I have a line with a references to the automated conjecturing papers, for any interested researchers. I have a link to paper 7 https://arxiv.org/abs/1801.01814. Would you like to link to any others?