<p><span class="h-card" translate="no"><a href="https://types.pl/@maxsnew" class="u-url mention">@<span>maxsnew</span></a></span> This doesn't seem weird to me. As you say it's challenging to review the mathematics in a full paper for correctness, there are plenty of mistakes in informal mathematics published in SIGPLAN conferences, and we have widely used tools to address this. Asking whether those tools are used seems totally normal.</p>
