【Coq】コンピューターで証明しよう【コック】©2ch.net

[0030 片山博文MZ ◆T6xkBnTXz7B0 2015/01/27(火) 20:10:46.94 ID:SJxzPcnV]

お題：
「３の倍数に６を足したものは３の倍数である」を証明せよ。