<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@markusde" class="u-url mention">@<span>markusde</span></a></span> my experience with ssreflect is that it does some beautification but nothing substantial enough to learn the style. But also this was for a class in my last quarter of college and I didn’t pay much attention so I might have taken away something entirely incorrect</p>