Quint: Executable Specs for Reliable Systems(quint-lang.org)4 ポイント·投稿者 0xcafefood·4 か月前·0 コメントquint-lang.orgQuint: Executable Specs for Reliable Systemshttps://quint-lang.org/0 コメントコメントを投稿—