4 ms·
Not a chance. Apart from type-checking, all formal verification needs a human to invest time and thought. Fans of LLMs brag about speed and productivity.
by mrkeen 10mo ago
Not a chance. Apart from type-checking, all formal verification needs a human to invest time and thought.
Fans of LLMs brag about speed and productivity.