tes

出典: Coq.io

本体

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

本体の形式的検証

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License