QED。手作業だから確実に間違ってるんだけど。 Coq を使えば少しは楽になるのだろうか。演習3 でやっておけば良かったなぁ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。