2 ms·
> 2. Writing a proof of this size is not unlike building a medium-to-large size codebase. Is there something akin to an IDE that you guys use for this.
by Bolkan 4y ago
> 2. Writing a proof of this size is not unlike building a medium-to-large size codebase.
Is there something akin to an IDE that you guys use for this.