what happened to the amsimp repo?

[mathematicalmichael]

I thought this was cool work and bookmarked it to check out later, only to find the repo has been taken down.

[conorcaseyc]

Hello,

I hope you are doing well, and I am glad to hear you had an interest in the project. I temporarily made the repo private as I am working out a few issues with the model, but, I hope to make it public again in the next month or so.

Sorry for the inconvenience caused, and I will update this issue once I have made it public again.

CC.