なんかいろんな言語で FizzBuzz が書かれているようなので、Coq でも書いてみる。Coq の FizzBuzz は他のとは一味違う!なんとプログラムが正しく動くことが証明できるのだ!とりあえず、書いたプログラム Require Import Arith. Require Import List. (* Fi…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。