なんで形式検証と契約プログラミングが流行らないのかを愚痴る感じでGeminiとGPTにおしゃべりしていろいろ教えてもらってたら、
双方から「お前が求めてるものに一番近そうなのはDafnyだから、とにかくまずDafnyを使ってみれ。使ってみてからその先を考えような？」（超違約）的にDafnyをおすすめされた＞＜