CoqでＶ&Ｖ

出典： Coq.io

本体

画面に"What is your name?"と出力して入力を促し，ユーザーが”Yagawa”と入力すると"Hello Yagawa!"と出力するプログラム：

本体の形式的検証

---

+ 移動

親： 3.V&V
兄弟姉妹：

子：