4 ms·This is my take as well. I think something like Dafny + LLMs will raise in popularity.by nextos 2y agoThis is my take as well. I think something like Dafny + LLMs will raise in popularity.