プログラムを証明するには？

プログラムを証明するには？ (24ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

1(1): 03/08(土)00:48 ID:YjtwmC1M(1) AAS
どうしたらいい？

24: 09/28(日)21:25 ID:ukWFqdUB(1) AAS
>>1
任意のプログラムコードをHaskellに変換する。
Haskellコードを数学に置き換えて証明する（ここは手動。HaskellからTeXへの変換手段があれば自動化できそう）