<p><span class="h-card" translate="no"><a href="https://mastodon.acm.org/@liyao" class="u-url mention">@<span>liyao</span></a></span> This is the first paper I read that uses the new name &quot;the Rocq Prover&quot; 😂</p>