<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@gigapixel" class="u-url mention">@<span>gigapixel</span></a></span> I did read that document and I found it to not really advance my understanding of the topic</p><p>re Lean, I've actually been learning Lean but it won't help me automatically verify compiler optimizations by lowering before/after netlists to it</p>
