What is it, naokirin?
来春プログラミングするのは私です。人にお勧めしたいことも含みつつ、書いてみることにします。(自分のために書いているので、やってないことも含みますがご了承ください。) Coq http://coq.inria.fr/ 定理証明支援器として知られるCoqです。 特定の値に対…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。