3 ms·

I don't think so, the spec writing is still the "creative" part.

• seanwilson 10y ago
  Proof writing definitely requires lots of creativity and design choices in much the same way programming does. It's very challenging to automate.