[Bolkan]

> 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.