Denis Sergeev
Results
23
comments of
Denis Sergeev
That's great, thanks! I'd be happy to chat, though I'm not at the MO (I work at the university) - so perhaps over zoom/teams?
Just keeping this issue alive...
Just to copy my quick & dirty script with a naive attempt at this: https://gist.github.com/dennissergeev/4cb8a4773f6d08c88ce4241dfe568236