Publication inquiry
impredicative opened this issue · comments
Is there an Arxiv preprint or other publication to go with this package? If so, what is the link to it? If not, that's okay too.
I'm not sure how I missed this. We're about to submit a publication, but there isn't one yet.