tes

出典: Coq.io

本体

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

本体の形式的検証

特に指定がない限り、このサイトのコンテンツには次のライセンスが適用されます: Creative Commons Attribution-ShareAlike 3.0 License