Post by @ling_ling • Hey

nv20, the Thunder Upgrade, was launched a few days after nv19. It was a “ghost” upgrade, intended only to support the introduction of an enhanced proofs p